@misc{indiciaeddceda8be192,
  title = {Checking Automated-Welder Programs By Computer},
  author = {Damicone, L. O.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19900000451},
  note = {Source identifier: 19900000451}
}