1. Ardis, M., V. Basili et al. (1989), “Editorial Process Verification”, Communications of the ACM (March 1989), pp. 287–288.
2. Barwise, J. (1989), “Mathematical Proofs of Computer System Correctness”, Notices of the AMS (September 1989), pp. 844–851.
3. Cohn, A. (1989), “The Notion of Proof in Hardware Verification”, Journal of Automated Reasoning 5 (1989), pp. 127–139.
4. Colburn, T. R. (1991), “Program Verification, Defeasible Reasoning, and Two Conceptions of Computer Science”, Minds and Machines (February 1991), pp. 97–116.
5. Colburn, T. R. (1993), “Computer Science and Philosophy”, in T. R. Colburn, J. H. Fetzer, and T. L. Rankin, eds., Program Verification (Dordrecht, The Netherlands: Kluwer Academic Publishers. 1993), pp. 3–31.