Robert L. Scot Drysdale. Mathematical induction is a recursive technique. In Thomas J. Cortina, Ellen Lowenfeld Walker, Laurie A. Smith King, David R. Musicant, editors, Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE 2011, Dallas, TX, USA, March 9-12, 2011. pages 269-274, ACM, 2011. [doi]
Abstract is missing.