TY  - RPRT
TI  - The programming language HAL: A specification
PY  - 1971
UR  - https://ntrs.nasa.gov/citations/19730003464
ID  - 19730003464
ER  -