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

by C Böhm, A Berarducci
Venue:Theor. Comp. Sci