BERGSTRA, J. A. Promise Theory as a Tool for Informaticians. Transmathematica, [S. l.], 2020. DOI: 10.36285/tm.35. Disponível em: https://transmathematica.org/index.php/journal/article/view/35. Acesso em: 25 nov. 2024.