@misc{indiciae6aa8b3a0b61b,
  title = {Automatic derivation of formal software specifications from informal descriptions},
  author = {Miriyala, Kanth and Harandi, Mehdi T.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19920039673},
  note = {Source identifier: 19920039673}
}