TY  - BOOK
AU  - Abrial,Jean-Raymond
TI  - The B-book: assigning programs to meanings 
SN  - 9780521021753 (pbk.)
PY  - 2005///
CY  - Cambridge
PB  - Cambridge University Press
KW  - B method (Computer science)
N1  - Includes index
UR  - http://www.loc.gov/catdir/enhancements/fy0659/2006275990-t.html
ER  -