@misc{indiciae41f006191e39,
  title = {Translating expert system rules into Ada code with validation and verification},
  author = {Becker, Lee and Duckworth, R. James and Green, Peter and Michalson, Bill and Gosselin, Dave and Nainani, Krishan and Pease, Adam},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910017486},
  note = {Source identifier: 19910017486}
}