Bergstra, J.A. 2020. Promise Theory as a Tool for Informaticians. Transmathematica. (Apr. 2020). DOI:https://doi.org/10.36285/tm.35.