Shantanu Dutt, John P. Hayes: An automorphic approach to the design of fault-tolerant multiprocessors. FTCS 1989: 496-503