TY  - BOOK
AU  - Lano Kevin Et Al
TI  - Specification in B: an Introduction Using the B Toolkit
SN  - 9781848161061
PB  - ICP
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/p006#t=toc
ER  -