@misc{indiciae6bed7c27d01b,
  title = {The implementation and use of Ada on distributed systems with high reliability requirements},
  author = {Knight, J. C. and Reynolds, P. F.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19820023089},
  note = {Source identifier: 19820023089}
}