Certified Programs and Proofs - Jouannaud, Jean-Pierre (Springer Berlin Heidelberg, 2011)