@misc{indiciaeae38fcf18cf5,
  title = {Generic interpreters and microprocessor verification},
  author = {Windley, Phillip J.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910008259},
  note = {Source identifier: 19910008259}
}