@misc{indiciae85a61a60f9b4,
  title = {SUMC fault tolerant computer system},
  year = {1980},
  url = {https://ntrs.nasa.gov/citations/19800025603},
  note = {Source identifier: 19800025603}
}