TY  - RPRT
TI  - Compiler validates units and dimensions
AU  - Levine, F. E.
PY  - 1980
UR  - https://ntrs.nasa.gov/citations/19790000437
ID  - 19790000437
ER  -