APA (7th ed.) Citation

Gonthier. (2013). Certified Programs and Proofs (1.). Springer International Publishing.

Chicago Style (17th ed.) Citation

Gonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.

MLA (8th ed.) Citation

Gonthier. Certified Programs and Proofs. 1. Springer International Publishing, 2013.

Warning: These citations may not always be 100% accurate.