TY  - BOOK
AU  - Abrial, J.-r
TI  - B-book: assiging programs to meanings
PY  - 1996///
CY  - Cambridge
PB  - CAMBRIDGE UNIVERSITY PRESS
KW  - Software Engineering
ER  -