TY  - BOOK
AU  - O'Donnell, Michael J.
TI  - Equational logic as a programming language
T2  - Foundations of Computing series
SN  - 0-262-15028-X
PY  - 1985///
CY  - Cambridge
PB  - MIT Press
ER  -