TY  - BOOK
AU  - Bjorner, Diner
AU  - Jones, Cliff B.
TI  - Formal specification and software development
T2  - Printice-Hall International series in computer science
SN  - 0133290034
PY  - 1982///
CY  - New Jersy
PB  - Prentice-hall international
KW  - Microprogramming
KW  - Computer science
KW  - Computer system
ER  -