TY - BOOK AU - Nivat Maurice AU - Reynolds J C eds TI - Algebraic methods in semantics SN - 0-521-26793-5 U1 - 005.13 PY - 1985/// CY - Cambridge PB - C U P KW - Computer science KW - Programming language KW - Semantics ER -