Specification in B : an introduction using the B toolkit - LANO (Imperial College Press, 1996)