Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet. Automatic generation of functional programs from CASL specifications.
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006,
〈10.1109/ICSEA.2006.261290〉.
〈hal-00341983〉