A theory of programs. Unpublished manuscript (1969)

by D Scott, J De Bakker