Efficiency in program synthesis
Kant, Elaine.
Ann Arbor, Mich. UMI Research Press
c1981
: Revision of thesis (Ph.D.)--Stanford University, 1979
Includes index
Bibliography: p. [155]-158
Electronic digital computers