D. Cansell and D. Mery, “Foundations of the B method”, Comput. Inform., vol. 22, no. 3-4, pp. 221–256, Feb. 2012.