Roland Carl Backhouse. Galois Connections and Fixed Point Calculus. In Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Volume 2297 of Lecture Notes in Computer Science, pages 89-148, Springer, 2000. [doi]