TY  - RPRT
TI  - A Formal Approach for Designing and Evaluating Procedures
AU  - Degani, Asaf
AU  - Heymann, Michael
AU  - Shafto, Michael
AU  - Remington, Roger
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20020064482
ID  - 20020064482
ER  -