Michael Nicolaidis, S. Noraz, Bernard Courtois. A generalized theory of fail-safe systems. In Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, FTCS 1989, Chicago, IL, USA, 21-23 June, 1989. pages 398-406, IEEE Computer Society, 1989. [doi]
Abstract is missing.