The denotational description of programming languages an introd. - Gordon, Michael J. C. 1948- (Springer, 1984)