Interactive Theorem Proving

MLA

Kaufmann, Matt, et al. Interactive Theorem Proving. Springer Berlin Heidelberg, 2010.

APA

Kaufmann, M., Kanade, T., Paulson, L. C, & Kittler, J. (2010). Interactive Theorem Proving. Springer Berlin Heidelberg.

Chicago

Kaufmann, Matt, Takeo Kanade, Lawrence C Paulson, and Josef Kittler. Interactive Theorem Proving. : Springer Berlin Heidelberg, 2010.