A specification-oriented multi-version software experiment (1983)

by J P J Kelly, A Avizienis
Venue:in Thirteenth International Symposium on Fault Tolerant Computing (FTCS 13