A theory of programs. Unpublished seminar notes (1969)

by D S Scott, J W de Bakker