Certified Programs and Proofs - Gonthier (Springer International Publishing, 2013)