TY  - BOOK
AU  - Lano, Kevin
AU  - Haughton, Howard
TI  - Specification in B: An introduction using the B toolkit
SN  - 9781860940187
U1  - 005.1 LAN/S 
PY  - 1996///
CY  - London
PB  - Imperial College Press
KW  - B TOOLKIT
KW  - PROGRAMMING
ER  -