Automatic Generation of Functional Programs from CASL Specifications. - Agnès Arnould; Laurent Fuchs; Marc Aiguier; Thibaud Brunet (ICSEA, 2006)