A Mechanized Theory of Program Refinement. - Boubacar Demba Sall; Frédéric Peschanski; Emmanuel Chailloux (ICFEM, 2019)

Programmation impérative par raffinements avec l'assistant de preuve Coq. (Imperative programming by refinement in the Coq proof assistant). - Boubacar Demba Sall (2020)