Specification in B : an introduction using the B toolkit - Lano, K.; Haughton, H. (Imperial College Press, 1996)