TY  - BOOK
AU  - Lano,Kevin
AU  - Haughton,Howard
TI  - SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
SN  - 1860940080
U1  - 005.1015113 
PY  - 1996///
CY  - 
PB  - Imperial College Press, London
KW  - B (Computer Program Language)
N1  - Includes Index
ER  -