@misc{indiciaef71ff8ed63f5,
  title = {The GOAL-to-HAL/S translator specification},
  author = {Stanten, S. F. and Flanders, J. H.},
  year = {1973},
  url = {https://ntrs.nasa.gov/citations/19740013725},
  note = {Source identifier: 19740013725}
}