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