TY  - BOOK
AU  - Manes, Ernest G.
AU  - Arbib, Michael A.
TI  - Algebraic approaches to program semantics
U1  - 001.6424 
PY  - 1986///
CY  - New York
PB  - Springer-Verlag
KW  - Programming Languages (Electronic Computers) -- Semantics
KW  - Algebra
ER  -