A theory of programs (1969)

by D Scott, J W de Bakker
Venue:Notes of the IBM Vienna Seminar