LANO, & Haughton. (1996). Specification in B: An introduction using the B toolkit. London: Imperial College Press.
Chicago Style CitationLANO, and Haughton. Specification in B: An Introduction Using the B Toolkit. London: Imperial College Press, 1996.
MLA CitationLANO, 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.