Bergstra JA. Promise Theory as a Tool for Informaticians. Transmath [Internet]. 2020Apr.19 [cited 2024Nov.25];. Available from: https://transmathematica.org/index.php/journal/article/view/35