TY  - BOOK
AU  - Bjrner,D.
AU  - Jones,C.B.
TI  - Lecture notes in computer science
SN  - 3540087664
U1  - 001.6 
PY  - 1978///
CY  - Berlin
PB  - Springer Verlag
KW  - ML (computer program language)
N1  - Includes bibliographical references and index; The Vienna development method
ER  -