How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. - Jean-Yves Lucas; Jean-Luc Dormoy; Bruno Ginoux; Claudia Jimenez-Dominguez; Laurent Pierre (APSEC, 1998)

DESCARTES: An Automatic Programming System for Algorithmically Simple Programs. - Bruno Ginoux; Jean-Luc Dormoy; Claudia Jimenez-Dominguez; Jean-Yves Lucas; Laurent Pierre (IWSSD, 1998)