Transformational derivation of programs using the Focus system - Reddy, Uday S. (NASA contractor report, 1988)