APA (7th ed.) Citation

Lano, K., & Haughton, H. (1996). Specification in B: An introduction using the B toolkit. Imperial College Press ; Distributed by World Scientific Pub..

Chicago Style (17th ed.) Citation

Lano, K., and H. Haughton. Specification in B: An Introduction Using the B Toolkit. London : Singapore ; River Edge, NJ: Imperial College Press ; Distributed by World Scientific Pub., 1996.

MLA (9th ed.) Citation

Lano, K., and H. Haughton. Specification in B: An Introduction Using the B Toolkit. Imperial College Press ; Distributed by World Scientific Pub., 1996.