TY  - RPRT
TI  - Structuring the formal definition of Ada
AU  - Hansen, Kurt W.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19890006935
ID  - 19890006935
ER  -