APA (7th ed.) Citation
Lano, K. (1996). The B language and method: A guide to practical formal development. Springer Verlag.
Chicago Style (17th ed.) Citation
Lano, Kevin. The B Language and Method: A Guide to Practical Formal Development. London: Springer Verlag, 1996.
MLA (9th ed.) Citation
Lano, Kevin. The B Language and Method: A Guide to Practical Formal Development. Springer Verlag, 1996.
Warning: These citations may not always be 100% accurate.