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

by C Böhm, A Berarducci