TY  - BOOK
AU  - Bjorner,Dines
TI  - Formal specification and software development
SN  - 0133290034
U1  - 004.414.38 BJO 
CY  - New Jersey
PB  - Prentice-Hall
ER  -