TY - BOOK AU - Nivat, Maurice AU - Nivat, Maurice, Ed. TI - Algebraic methods in semantics SN - 0521267935 U1 - 001.6424 PY - 1985/// CY - Cambridge PB - Cambridge University Press KW - Programming Languages (Electronic Computers) -- Syntax KW - Programming Languages (Electronic Computers) -- Semantics ER -