A Theory of Programs”, Unpublished manuscript (1969)

by J W deBakker, D Scott