V. Durand-Guerrier, “Some logical issues in discrete mathematics and algorithmic thinking”, Teach. Math. Comp. Sci., vol. 18, no. 4, pp. 243–258, Nov. 2020, doi: 10.5485/TMCS.2020.0474.