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