Comon-Lundh, H., Kirchner, C. und Kirchner, H. (Hrsg.) (2007) „Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60 th Birthday“, Theoretical Computer Science and General Issues. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-73147-4.

Comon-Lundh, Hubert, Claude Kirchner, und Hélène Kirchner, Hrsg. „Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60 th Birthday“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-73147-4.

Comon-Lundh, H., Kirchner, C., … Kirchner, H. (Hrsg.). (ca. 2007). Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60 th Birthday [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73147-4

Comon-Lundh, H., C. Kirchner, und H. Kirchner, Herausgeber. „Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60 th Birthday“. Theoretical Computer Science and General Issues, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-73147-4.

COMON-LUNDH, Hubert, Claude KIRCHNER und Hélène KIRCHNER (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540731474