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