TY - BOOK AU - Gordon, Michael TI - denotational description of programming languages PY - 1979/// CY - New York PB - Springer-Verlag KW - Computer science KW - Programming languages ER -