Cita APA (7a ed.)
Matt Kaufmann, L. C. P. Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Matt Kaufmann, Lawrence C. Paulson. Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Matt Kaufmann, Lawrence C. Paulson. Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.