Béatrice Bérard Laurent Fribourg Francis Klay Jean-François Monin Compared Study of Two Correctness Proofs for the Standardized. 59-86 2003 22 Formal Methods in System Design 1 db/journals/fmsd/fmsd22.html#BerardFKM03