Abrial,J R. (1996). The B-Book: Assigning Programs to Meanings. Cambridge.
Styl ChicagoAbrial,J R. The B-Book: Assigning Programs to Meanings. New York: Cambridge, 1996.
Citace podle MLAAbrial,J R. The B-Book: Assigning Programs to Meanings. Cambridge, 1996.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..