Denotational semantics: the Scott-Strachey approach to programming language theory by Scott, D., Stoy, Joseph E., Strachey, C. fromThe MIT Press series in computer science 0 Type: Book
