Expression Procedures and Program Derivation (1980)

by W L Scherlis
Venue:Stanford University