Stoy, Joseph E.. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory / - 1st ed / - Massachusetts 02142 : The MIT Press , 1983 - p.414,xxvii : ISBN: 0-262-19147-4 Dewey Class. No.: P:4(BV) / L7