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