APA Citation

LANO, & Haughton. (1996). Specification in B: An introduction using the B toolkit. London: Imperial College Press.

Chicago Style Citation

LANO, and Haughton. Specification in B: An Introduction Using the B Toolkit. London: Imperial College Press, 1996.

MLA Citation

LANO, and Haughton. Specification in B: An Introduction Using the B Toolkit. London: Imperial College Press, 1996.

Warning: These citations may not always be 100% accurate.