Interactive Theorem Proving

MLA

Hutchison, David, et al. Interactive Theorem Proving. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Felty, A., & Kittler, J. (2012). Interactive Theorem Proving. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Amy Felty, and Josef Kittler. Interactive Theorem Proving. : Springer Berlin Heidelberg, 2012.