The denotational description of programming languages : an introduction - Gordon, Michael J. C., 1948 (Springer-Verlag, 1979)
Includes indexes