TY - BOOK AU - Stoy, Joseph E. TI - Denotational semantics: scott-strachey approach to programming language theory SN - 0262690764 U1 - 001.6424 PY - 1977/// CY - Massachusetts PB - MIT press ER -