M. A. Wirth, “The far side of recursion”, Teach. Math. Comp. Sci., vol. 13, no. 1, pp. 57–71, Jun. 2015, doi: 10.5485/TMCS.2015.0381.