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