TY - RPRT TI - The GOAL-to-HAL/S translator specification AU - Stanten, S. F. AU - Flanders, J. H. PY - 1973 UR - https://ntrs.nasa.gov/citations/19740013725 ID - 19740013725 ER -