Cansell, D.; Mery, D. Foundations of the B Method. Comput. Inform. 2012, 22, 221-256.