TY  - BOOK
AU  - Lano,K.
TI  - The B language and method: a guide to practical formal development 
T2  - Formal approaches to computing and information technology
AV  - QA76.73.B155 L36 1996
U1  - 005.1/2/015113 20
PY  - 1996///]
CY  - London, New York
PB  - Springer
KW  - B (Computer program language)
KW  - Computer software
KW  - Development
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3074773
ER  -