@misc{indiciae791cc2599f3b,
  title = {Programming fault-tolerant distributed systems in Ada},
  author = {Voigt, Susan J.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19870019726},
  note = {Source identifier: 19870019726}
}