Fekete, I. et al. 2020. Programming Theorems and Their Applications. Teaching Mathematics and Computer Science. 17, 2 (Mar. 2020), 213–241. DOI:https://doi.org/10.5485/TMCS.2019.0466.