TY - BOOK AU - STOY, Joseph E. TI - Denotational Semantics U1 - 005.13 St79D PY - 1977/// CY - Cambridge PB - MIT Pr. ER -