A theory of programs. Unpublished notes (1969)

by D S Scott, J W de Bakker