TY  - DATA
AU  - D Bjorner, O.N. Oest
TI  - Towards a Formal Description of Ada
SN  - 9783540384151
PY  - 1980///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-10283-3
ER  -