Paseau, Alexander. " Proving Induction" The Australasian Journal of Logic [Online], Volume 10(15 February 2011)