Παραπομπή σε μορφή APA (7η εκδ.)

Blazy. (2013). Interactive Theorem Proving (1.). Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Blazy. Interactive Theorem Proving. 1. Springer Berlin Heidelberg, 2013.

Παραπομπή σε μορφή MLA (8th εκδ.)

Blazy. Interactive Theorem Proving. 1. Springer Berlin Heidelberg, 2013.