Durand-Guerrier, V. (2020) “Some logical issues in discrete mathematics and algorithmic thinking”, Teaching Mathematics and Computer Science, 18(4), pp. 243–258. doi:10.5485/TMCS.2020.0474.