Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre. How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 38-45, IEEE Computer Society, 1998. [doi]
Abstract is missing.