Automatic Program Synthesis from Data Structures. - Daniel Enselme; Gérard Benay; F.-Y. Villemin (ESEC, 1987)