J. A. Bergstra, “Promise Theory as a Tool for Informaticians”, Transmath, Apr. 2020.