%0 Book
%A Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
%T Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
%U /book/101384673/Algebraic-and-coalgebraic-methods-in-the-mathemati/