1. Abramsky, S.: ‘Domain Theory in Logical Form’, pp. 191–208 in Workshop on Programming Logic, loc. cit.
2. Backhouse, R.: ‘Overcoming the Mismatch Between Programs and Proofs’, pp. 116–122 in Workshop on Programming Logic, loc. cit.
3. Bruijn, N. C. de: ‘The Mathematical Vernacular, a Language for Mathematics with Typed Sets’, pp. 1–36 in Workshop Programming Logic, loc. cit.
4. Dijkstra, E. W.: 1977, ‘A Position Paper on Software Reliability’, ACM SIGSOFT Software Engineering Notes
2(5), 3–5.
5. Dybjer, P.: ‘From Type Theory Theory to LCF — A Case Study in Program Verification’, pp. 99–109 in Workshop on Programming Logic, loc. cit.