@misc{indiciaebf49e2ae7b23,
  title = {Towards High-Assurance High-Performance Program Synthesis},
  author = {Lowry, Michael and Roach, Steven and vanBaalen, Jeffrey},
  year = {1997},
  url = {https://ntrs.nasa.gov/citations/19970029206},
  note = {Source identifier: 19970029206}
}