Rewriting, Computation and Proof

MLA

Comon-Lundh, Hubert, et al. Rewriting, Computation and Proof. Springer Berlin Heidelberg, 2007.

APA

Comon-Lundh, H., Kanade, T., Kirchner, C., Kirchner, H., & Kittler, J. (2007). Rewriting, Computation and Proof. Springer Berlin Heidelberg.

Chicago

Comon-Lundh, Hubert, Takeo Kanade, Claude Kirchner, Hélène Kirchner, and Josef Kittler. Rewriting, Computation and Proof. : Springer Berlin Heidelberg, 2007.