TY  - RPRT
TI  - Transformational derivation of programs using the Focus system
AU  - Reddy, Uday S.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890015431
ID  - 19890015431
ER  -