Citação norma APA
Abrial, J. (1996). The B-Book: Assignig programs to meanings. Cambridge University Press.
Citação norma Chicago
Abrial, J.-R. The B-Book: Assignig Programs to Meanings. Cambridge: Cambridge University Press, 1996.
Citação norma MLA
Abrial, J.-R. The B-Book: Assignig Programs to Meanings. Cambridge University Press, 1996.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.