TY  - BOOK
AU  - Bjorner, D. Ed.
AU  - Oest, O N. Ed.
TI  - Towards a Formal Description of Ada
SN  - 3540102833
CY  - Berlin
KW  - Ada
ER  -