The denotational description of programming lanquaqes : an introduction - Gordon, Michael J. C. (rz1, 1979)