The Wayback Machine - https://web.archive.org/web/20141114172626/http://www.cs.swan.ac.uk/~csetzer/slides/lisbon2012/setzerLisbon2012InductionInductionInduction.pdf