TY - BOOK AU - Stoy Joseph E TI - Denotational semantics : The scott- strachey approach to programming language theory U1 - D6,8(B), L7 PY - 1977/// ER -