Bergstra, J. A. Promise Theory As a Tool for Informaticians. Transmath 2020.