@misc{indiciae849aafb12416,
  title = {Towards a formal semantics for Ada 9X},
  author = {Guaspari, David and Mchugh, John and Wolfgang, Polak and Saaltink, Mark},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19950018214},
  note = {Source identifier: 19950018214}
}