TY  - BOOK
AU  - Backhouse, Roland C
AU  - Crole, Roy L
TI  - Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
SN  - 9783540436133
U1  - 005 BAC 
PY  - 2002///
CY  - New York
PB  - Springer
KW  - Computer science
ER  -