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