Abrial, J. (1996). The B-book: Assigning programs to meanings. Cambridge University.
Chicago Style (17th ed.) CitationAbrial, Jean-Raymond. The B-book: Assigning Programs to Meanings. Cambridge ; New York: Cambridge University, 1996.
MLA (9th ed.) CitationAbrial, Jean-Raymond. The B-book: Assigning Programs to Meanings. Cambridge University, 1996.