Denotational semantics : the scottstrachey approach to programming language theory - Stoy, Joseph E. (MIT, 1981)