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

by Corrado Bohm, Alessandro Berarducci
Venue:Theoretical Computer Science