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