Denotational semantics The scott- strachey approach to programming language theory - Stoy Joseph E (1977)