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

by C Bohm, A Berarducci
Venue:Theoretical Computer Science