The Wayback Machine - https://web.archive.org/web/20200728132633/https://www.cl.cam.ac.uk/archive/mjcg/plans/Coinduction.pdf