@misc{indiciaea189515c2ffc,
  title = {Automated validation of a computer operating system},
  author = {Dervage, M. M. and Milberg, B. A.},
  year = {1970},
  url = {https://ntrs.nasa.gov/citations/19700000246},
  note = {Source identifier: 19700000246}
}