TY  - BOOK
AU  - Nivat Maurice
AU  -  Reynolds John C
TI  - Algebraic methods in semantics
U1  - B288, M5 
PY  - 1985///
ER  -