Denotational semantics : the Scott-Strachey approach to programming language theory - Stoy, Joseph. (The MIT press series in computer science ;, 1977)