Proving The Unique Fixed−Point Principle Correct - Hinze, R; James, D (Department of Computer Science‚ University of Oxford, 2011)