Bergstra, J. A. and Burgess, M. (2021) “Promise Theory and the Alignment of Context, Processes, Types, and Transforms”, Transmathematica. doi: 10.36285/tm.43.