Expression Procedures and Program Derivation (1980)

by William Louis Scherlis