Gaya APA

Blazy, S. et al (2013). Interactive Theorem Proving . Springer Berlin Heidelberg: Springer.

Gaya MLA

Blazy, Sandrine. et al. "Interactive Theorem Proving". Springer Berlin Heidelberg: Springer, 2013. E-Book.