Bergstra, J. A.; Burgess, M. Promise Theory and the Alignment of Context, Processes, Types, and Transforms. Transmath 2021.