Fekete, István, et al. “Programming Theorems and Their Applications”. Teaching Mathematics and Computer Science, vol. 17, no. 2, Mar. 2020, pp. 213-41, https://doi.org/10.5485/TMCS.2019.0466.