TY  - BOOK
AU  - Bjørner, Dines
AU  - B, Cliff
TI  - Formal specification and software development
U1  - 001.642 
PY  - 1982///
CY  - London
PB  - Prentice-Hall International
KW  - Electronic Digital Computers -- Programming
KW  - Programming Languages (Electronic Computers)
ER  -