TY  - BOOK
AU  - Abrial, J.R. 
TI  - The B-Book: Assigning Programs to Meanings
SN  - 9780521021753
U1  - 005.120 
PY  - 1996///
CY  - Cambridge
PB  - Cambridge University Press
KW  - B Method (Computer Science)
ER  -