Bergstra, Jan Aldert. “Promise Theory As a Tool for Informaticians”. Transmathematica (April 19, 2020). Accessed August 31, 2026. https://www.transmathematica.org/index.php/journal/article/view/35.