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