@misc{indiciaeb7abff73550f,
  title = {Automatic Generation Of Countdown-Simulating Software},
  author = {Schroer, Bernard J. and Zhang, Shou X. and Tseng, Fan T.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19920000028},
  note = {Source identifier: 19920000028}
}