APA (7. basım) Alıntı

ITP(Conference) Berg en Dal, Netherlands), 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.

Chicago Style (17. basım) Atıf

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

MLA (9th ed.) Atıf

ITP(Conference) Berg en Dal, Netherlands), et al. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011, Proceedings. Springer, 2011.