Cansell, D. and Mery, D. 2012. Foundations of the B method. COMPUTING AND INFORMATICS. 22, 3-4 (Feb. 2012), 221–256.