TY  - RPRT
TI  - ENCOMPASS: A SAGA based environment for the compositon of programs and specifications, appendix A
AU  - Terwilliger, Robert B.
AU  - Campbell, Roy H.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19870018868
ID  - 19870018868
ER  -