Edsger W. Dijkstra Some Beautiful Arguments Using Mathematical Induction. 1-8 1980 13 Acta Inf. db/journals/acta/acta13.html#Dijkstra80