TY  - BOOK
AU  - Schneider,S.A.
TI  - The B-Method: an introduction 
T2  - Cornerstones of computing
SN  - 033379284X (pbk.) :
U1  - 005.14 21
PY  - 2001///
CY  - Basingstoke
PB  - Palgrave
KW  - B method (Computer science)
KW  - Problems, exercises, etc
KW  - CS
KW  - March2012
N1  - Includes index
ER  -