Gaya APA

Mechanizing Mathematical Reasoning. (2005). Berlin: Springer.

Gaya MLA

Mechanizing Mathematical Reasoning. 1st ed.. Berlin: Springer, 2005. E Book.