TY - BOOK AU - Stoy J E TI - Denotational semantics : the scottstrachey approach to programming language theory U1 - 005.13 PY - 1979/// CY - Cambridge PB - M I T Press KW - Computer science KW - Denotational semantics KW - Programming language ER -