Denotational semantics : the scottstrachey approach to programming language theory - Stoy, Joseph E. (The MIT Press series in computer science, 1981)