Cansell, D., & Mery, D. (2003). Foundations of the B method. Computing and Informatics, 22(3-4), 221–256. https://cai.type.sk/content/2003/3-4/foundations-of-the-b-method/