APA (7th ed.) Citation
Abrial, J. (1996). The B-Book: Assignig programs to meanings. Cambridge University Press.
Chicago Style (17th ed.) Citation
Abrial, J.-R. The B-Book: Assignig Programs to Meanings. Cambridge: Cambridge University Press, 1996.
MLA (9th ed.) Citation
Abrial, J.-R. The B-Book: Assignig Programs to Meanings. Cambridge University Press, 1996.
Warning: These citations may not always be 100% accurate.