TY  - BOOK
AU  - Bjorner D Ed.
AU  -  Oest O N Ed.
TI  - Towards a formal description of ada
T2  - Lecture notes in computer science; 98
U1  - D65,8(B)92, M01 
PY  - 1980///
CY  - Berlin
PB  - Springer Verlag        
KW  - Computer science
N1  - Bibliography 625-629p
ER  -