ISBN 9783540436133 books & textbook
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
Backhouse, Roland Crole, Roy Gibbons, Jeremy
Springer /2002-04-17 Paperback / 404 Pages
isbn-10: 3540436138 / isbn-13: 9783540436133
