Gonthier. (2013). Certified Programs and Proofs (1.). Springer International Publishing.
Citación estilo ChicagoGonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.
Cita MLAGonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.
Warning: These citations may not always be 100% accurate.