1. M. Barnes, P. Bishop, B. Bjarland, G. Dahll, D. Esp, P. Humphreys, Y. Lahti, S. Yoshimura, A. Ball, O. Hatlevold: PODS (the Project on Diverse Software). OECD Halden Reactor Project, HRP-323, 1985
2. M. Barnes, P. Bishop. B. Bjarland, G. Dahll, D. Esp, Y. Lahti, H. Välisuo, P. Humphreys: Software Testing and Evaluation Methods (the STEM Project). OECD Halden Reactor Project, HWR-210, 1987
3. D.E. Eckhardt, L.D. Lee: A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. IEEE Transactions on Software Engineering, Vol. SE-11, No. 12, 1985
4. T. Grams: Thinking Traps in Programming - A Systematic Collection of Examples. Proc. of the IFAC Symposium SAFECOMP ‘88, Fulda. F.R.G., 1988
5. J.P.J. Kelly, A. Avizienis: A Specification-Oriented Multi-Version Software Experiment. 13th Int. Symposium on Fault-Tolerant Computing, Milano, Italy, 1983