Gregory F. Sullivan, Gerald M. Masson. Using certification trails to achieve software fault tolerance. In Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990. pages 423-431, IEEE Computer Society, 1990. [doi]
Abstract is missing.