TY  - RPRT
TI  - Can space station software be specified through Ada?
AU  - Knoebel, Arthur
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19880006240
ID  - 19880006240
ER  -