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