@misc{indiciaea90a2614e21b,
  title = {Fault-tolerant software},
  author = {Hecht, H.},
  year = {1979},
  url = {https://ntrs.nasa.gov/citations/19790067204},
  note = {Source identifier: 19790067204}
}