TY  - BOOK
AU  - Backhouse, Roland C
AU  - Crole, Roy L
AU  - Gibbons, Jeremy
ED  - School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford)
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
SN  - 200202178
U1  - 005 BAC 
PY  - 2002///
CY  - New York
PB  - Springer
KW  - Computer science
N1  - Includes bibliographical references and index
ER  -