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