Denotational description of programming lamgiages: n introduction - Gordon Michael J C (New York Springer-Verlag, 1979)
Keywords: Computer science