The B language and method a guide to practical formal development / - Lano, K. (Formal approaches to computing and information technology)