TY  - RPRT
TI  - Constraint-based evaluation of sequential procedures
AU  - Barry, Matthew R.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900012985
ID  - 19900012985
ER  -