[Kelly83] J. Kelly and A. Avizienis, A Specification Oriented Multi-Version Software Experiment, IEEE, Symposium on Fault Tolerant Computing, 120-126, 1983, Kelly [This paper describes some of the major problems with multi-version programming and the experiments performed at UCLA to evaluate its potential for practical use.]