SMS: Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.