A.: Automatic synthesis of typed lambda-programs on term algebras (1985)

by C Böhm, Berarducci
Venue:TCS