FEKETE, István; GREGORICS, Tibor; KOVÁCSNÉ PUSZTAI, Kinga; VESZPRÉMI, Anna. Programming Theorems and Their Applications. Teaching Mathematics and Computer Science, [S. l.], v. 17, n. 2, p. 213–241, 2020. DOI: 10.5485/TMCS.2019.0466. Disponível em: https://ojs.lib.unideb.hu/tmcs/article/view/10957.. Acesso em: 30 apr. 2024.