TY  - BOOK
AU  - Backhouse, Roland C., 1948-
AU  - Crole, Roy L.
AU  - Gibbons, Jeremy,, 1966-
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  - 3540436138 (softcover : acid-free paper)
CY  - Berlin, New York
KW  - Computer programming
KW  - Congresses
KW  - Computer science
KW  - Mathematics
KW  - Algebra
ER  -