Dérivation de programmes impératifs à partir de spécifications algébriques. (Derivation of imperative programs from algebraic specifications). - Yves Guerte (1996)