@misc{indiciae6860736c3cbe,
  title = {The validation of numerical computations},
  author = {Buck, Melvin L. and Neumann, Richard D.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19920075816},
  note = {Source identifier: 19920075816}
}