@misc{indiciae0a114f20e79b,
  title = {Can space station software be specified through Ada?},
  author = {Knoebel, Arthur},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880006240},
  note = {Source identifier: 19880006240}
}