Specification in B
Subtitle: an introduction using the B toolkit
By:  Kevin Lano, Howard Haughton.
Contributors: Haughton, H.
Publisher: Imperial College Press; Distributed by World Scientific Pub.
Published: 1996
Place of publication: London; Singapore; River Edge, NJ
Language: eng
Number of pages: 242
Subjects: B (Computer program language)
Notes: Includes bibliographical references (p. 183-186) and index.