@misc{indiciae7a83e20ecbf5,
  title = {A Formal Approach for Designing and Evaluating Procedures},
  author = {Degani, Asaf and Heymann, Michael and Shafto, Michael and Remington, Roger},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20020064482},
  note = {Source identifier: 20020064482}
}