Efficiency in program synthesis - Kant, Elaine (Ann Arbor, Mich. : UMI Research Press, 1981)
Revision of thesis (Ph.D.)--Stanford University, 1979.
Includes bibliographical references (p. 155-158) and index.
Keywords: Electronic digital computers -- Programming