Bergstra, Jan Aldert. 2020. “Promise Theory As a Tool for Informaticians”. Transmathematica, April. https://doi.org/10.36285/tm.35.