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

by Corrado Bohm, Alessandro Berarducci