Blazy. (2013). Interactive Theorem Proving (1.). Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)Blazy. Interactive Theorem Proving. 1. Springer Berlin Heidelberg, 2013.
Citatione MLA (8a ed.)Blazy. Interactive Theorem Proving. 1. Springer Berlin Heidelberg, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.