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