TY  - BOOK
AU  - Manes, Ernest G
AU  - Arbib, Michael A
TI  - Algebraic Approaches to Program Semantics
SN  - 038796323
U1  - 001.642 
PY  - 1986///
CY  - New York
PB  - Springer-Verlag
KW  - Computer Program
ER  -