1. Barwise, J.: 1989, ‘Mathematical Proofs of Computer System Correctness’, Notices of the AMS
36, 844–851.
2. Berg, H. K. et al.:. 1982, Formal Methods of Program Verification and Specification, Englewood Cliffs, NJ: Prentice-Hall.
3. Blum, B.: 1989, ‘Formalism and Prototyping in the Software Process’. RMI-89-011, Applied Physics Laboratory, Johns Hopkins University.
4. Conn, A.: 1989, The Notion of Proof in Hardware Verification, Journal of Automated Reasoning
5, pp. 127–139.
5. DeMillo, R., Lipton, R., and Perlis, A.: 1979, ‘Social Processes and Proofs of Theorems and Programs’, Communications of the ACM
22, 271–280.