Edsger W. Dijkstra. Some Beautiful Arguments Using Mathematical Induction. Acta Informatica, 13:1-8, 1980.
@article{Dijkstra80,
title = {Some Beautiful Arguments Using Mathematical Induction},
author = {Edsger W. Dijkstra},
year = {1980},
researchr = {https://researchr.org/publication/Dijkstra80},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {13},
pages = {1-8},
}