[Scott84] R. Scott, J. Gault, D. McAllister, and J. Wiggs, Experimental Validation of Six Fault Tolerant Software Reliability Models, IEEE, Symposium on Fault Tolerant Computing, 102-107, 1984, Scott [This paper advances the practice of multi-version programming by showing the importance of good specification to the final outcome.]