TY  - BOOK
AU  - Bjorner Dines
AU  -  Jones Cliff B
TI  - Formal specification and software development
T2  - Prentice hall international series in computer science
U1  - D65,8(B)92, M2 
PY  - 1982///
CY  - New Jersey
PB  -  Prentice Hall       
KW  -  Computer program language
KW  - Computer science
N1  - Includes bibliography
ER  -