Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Backhouse, Roland; Backhouse, Roland; Crole, Roy; Crole, Roy; Gibbons, Jeremy; Gibbons, Jeremy (Springer Berlin Heidelberg : Imprint: Springer, 2002)