Durand-Guerrier, Viviane. “Some Logical Issues in Discrete Mathematics and Algorithmic Thinking”. Teaching Mathematics and Computer Science, vol. 18, no. 4, Nov. 2020, pp. 243-58, https://doi.org/10.5485/TMCS.2020.0474.