@misc{indiciaea03a9438b0ea,
  title = {TEXSYS},
  author = {Bull, John},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19940005436},
  note = {Source identifier: 19940005436}
}