APA (7th ed.) Citation

Lano, K. (1996). Specification in B: An introduction using the B toolkit. Imperial College Press.

Chicago Style (17th ed.) Citation

Lano, K. Specification in B: An Introduction Using the B Toolkit. London: Imperial College Press, 1996.

MLA (9th ed.) Citation

Lano, K. Specification in B: An Introduction Using the B Toolkit. Imperial College Press, 1996.

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