@misc{indiciae8c2954eedcc2,
  title = {A system for evaluating Ada implementations using synthesized benchmarks},
  author = {Knight, John C. and Crowe, Richard H.},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19890038285},
  note = {Source identifier: 19890038285}
}