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