Stoy Joseph E Denotational semantics The scott- strachey approach to programming language theory - 1977 Standard No.: 7330 Source: Textual Dewey Class. No.: D6,8(B), L7