TY  - RPRT
TI  - Tools to aid the specification and design of flight software, appendix B
AU  - Bristow, G.
PY  - 1980
UR  - https://ntrs.nasa.gov/citations/19800021562
ID  - 19800021562
ER  -