A theory of programs. unpublished notes (1969)

by J W deBakker, D Scott