TY  - BOOK
AU  - Abrial,J.-R..
TI  - The B-book: assigning programs to meanings 
SN  - 0521021758
AV  - QA76.9.B22  .A27 1996
PY  - 1996///
CY  - Cambridge
PB  - Cambridge University Press
KW  - B method (Computer science)
ER  -