How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.

Jean-Yves Lucas Jean-Luc Dormoy Bruno Ginoux Claudia Jimenez-Dominguez Laurent Pierre How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. 38-45 1998 conf/apsec/1998 APSEC http://csdl.computer.org/comp/proceedings/apsec/1998/9183/00/91830038abs.htm db/conf/apsec/apsec1998.html#LucasDGJP98