David Gries. Programming by Induction. Inf. Process. Lett., 1(3):100-107, 1972.
@article{Gries72,
title = {Programming by Induction},
author = {David Gries},
year = {1972},
tags = {programming},
researchr = {https://researchr.org/publication/Gries72},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {1},
number = {3},
pages = {100-107},
}