TY  - RPRT
TI  - Design principles for an interactive program derivation system
AU  - Reddy, Uday S.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19910035164
ID  - 19910035164
ER  -