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 C., 1948-; Crole, Roy L.; Gibbons, Jeremy, 1966- (Lecture notes in computer science ;, 2002)