1. Blum, B.: 1991, ‘Formalism and Prototyping in the Software Process’, to be published in Information and Decision Technologies.
2. Carnap, R.: 1953, ‘Formal and Factual Science’, in Feigl, H. and Brodbeck, M. (eds.), Readings in the Philosophy of Science, New York: Appleton-Century-Crofts, pp. 123–128.
3. Cohn, A.: 1989, ‘The Notion of Proof in Hardware Verification’, Journal of Automated Reasoning
5(2), 127–139.
4. Colburn, T.: 1991, ‘Program Verification, Defeasible Reasoning, and Two Views of Computer Science’, Minds and Machines
1(1), 97–116.
5. DeMillo, R., Lipton, R., and Perlis, A.: 1979, ‘Social Processes and Proofs of Theorems and Programs’, Communications of the ACM
22 (May 1979), 271–280.