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

SpringerLink (Online service), Eekelen, M. v., Geuvers, H., Schmaltz, J., & Wiedijk, F. (2011). Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

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

SpringerLink (Online service), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, και Freek Wiedijk. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.

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

SpringerLink (Online service), et al. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2011.