Fekete, I. (2020) “Programming Theorems and Their Applications”, Teaching Mathematics and Computer Science, 17(2), pp. 213–241. doi:10.5485/TMCS.2019.0466.