TY  - RPRT
TI  - FORMAL - A formula manipulation language
AU  - Mesztenyi, C. K.
PY  - 1970
UR  - https://ntrs.nasa.gov/citations/19710006531
ID  - 19710006531
ER  -