Jahuel: A Formal Framework for Software Synthesis. - Ismail Assayad; Valérie Bertin; F.-X. Defaut; Philippe Gerner; O. Quévreux; Sergio Yovine (ICFEM, 2005)