TY  - BOOK
AU  - Bjorner,D.
AU  - Jones,C.B.
TI  - Formal specification and software development
PY  - 1982///
CY  - Englewood Cliffs, N. J.
PB  - Prentice-Hall International
KW  - Electronic digital computers
KW  - Programming
KW  - Programming languages (Electronic computers)
N1  - Includes bibliographical references (p. 459-487) and index
ER  -