Interactive Theorem Proving

MLA

Eekelen, Marko, et al. Interactive Theorem Proving. Springer Berlin Heidelberg, 2011.

APA

Eekelen, M., Geuvers, H., Kanade, T., Schmaltz, J., & Wiedijk, F. (2011). Interactive Theorem Proving. Springer Berlin Heidelberg.

Chicago

Eekelen, Marko, Herman Geuvers, Takeo Kanade, Julien Schmaltz, and Freek Wiedijk. Interactive Theorem Proving. : Springer Berlin Heidelberg, 2011.