@misc{indiciae797cbc84755e,
  title = {Automatic Extraction of JPF Options and Documentation},
  author = {Luks, Wojciech and Tkachuk, Oksana and Buschnell, David},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20140010139},
  note = {Source identifier: 20140010139}
}