Making induction meaningful, recursively (abstract only).

Peter-Michael Osera, Brent A. Yorgey

Browse the full SIGCSE paper archive.