TY  - BOOK
AU  - Nivat,M.
AU  - Reynolds,John C.
TI  - Algebraic methods in semantics
SN  - 0521267935 :
U1  - 001.6424 
PY  - 1985///
CY  - Cambridge [Cambridgeshire]
PB  - The University Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Algebra
KW  - Categories (Mathematics)
ER  -