Specification in B : an introduction using the B toolkit /
Lano, Kevin.
Haughton, Howard.
London : Imperial College Press,
c1996.
Includes index
B (Computer program language)