1. Balzer, R.: 1985, ‘A 15 Year Perspective on Automatic Programming’, IEEE Transactions on Software Engineering
SE-11(11), 1257–1267.
2. Chisholm, R. M: 1977, Theory of Knowledge, Englewood, NJ: Prentice-Hall.
3. Conn, A.: 1989, ‘The Notion of Proof in Hardware Verification’, Journal of Automated Reasoning
5(2), 127–139.
4. Fetzer, J. H.: 1988, ‘Program Verification: The Very Idea’, Communications of the ACM
31(9), 1048–1063.
5. Fetzer, J. H.: 1991, ‘Philosophical Aspects of Program Verification’, Minds and Machines
1(2), forthcoming.