@misc{indiciae4df2633eb86d,
  title = {Certification of computational results},
  author = {Sullivan, Gregory F. and Wilson, Dwight S. and Masson, Gerald M.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940031557},
  note = {Source identifier: 19940031557}
}