Text this: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory