TY  - BOOK
AU  - Bjorner, D. and Oest, O. N. ,ed.
AU  - Oest, O. N. ; jt. ed.
TI  - Towards a formal description of Ada
T2  - Lecture notes in Computer Science
U1  - 518.5424A 
PY  - 1980///
CY  - Berlin
PB  - Springer-Verlag
ER  -