@misc{indiciae3121b530e974,
  title = {HAL/SM language specification},
  author = {Williams, G. P. W., Jr. and Ross, C.},
  year = {1975},
  url = {https://ntrs.nasa.gov/citations/19760007757},
  note = {Source identifier: 19760007757}
}