APA (7th ed.) Citation

Reddy, U. S. (1988). Transformational derivation of programs using the Focus system. [National Aeronautics and Space Administration].

Chicago Style (17th ed.) Citation

Reddy, Uday S. Transformational Derivation of Programs Using the Focus System. [Washington, D.C.]: [National Aeronautics and Space Administration], 1988.

MLA (9th ed.) Citation

Reddy, Uday S. Transformational Derivation of Programs Using the Focus System. [National Aeronautics and Space Administration], 1988.