1. Abelson, H. et al. (1989). Intelligence in Scientific Computing. CACM, 32:5, 546–562.
2. Barrow, H.G. (1984). Proving the Correctness of Digital Hardware Designs. VLSI Design, July 1984, 64–77.
3. Bobrow, D.G. (Ed.) (1985). Qualitative Reasoning about Physical Systems. MIT Press, Cambridge, Massachusetts.
4. Deutsch, M.S., Willis, R.R. (1988). Software Quality Engineering — A Total Technical and Management Approach. Prentice-Hall, Englewood Cliff, NJ.
5. Hamilton, M.H. (1986). Zero-Defect Software: The Elusive Goal. IEEE Spectrum, March 1986, 48–52.