TY  - RPRT
TI  - Formal system - Technical documentation
AU  - Mesztenyi, C. K.
PY  - 1970
UR  - https://ntrs.nasa.gov/citations/19710020633
ID  - 19710020633
ER  -