Bergstra, Jan Aldert, and Mark Burgess. “Promise Theory and the Alignment of Context, Processes, Types, and Transforms”. Transmathematica (February 26, 2021). Accessed April 25, 2024. https://transmathematica.org/index.php/journal/article/view/43.