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