A calculational approach to mathematical induction (1997)

by Henk Doornbos, Roland Backhouse, Jaap van der Woude
Venue:Theoretical Computer Science