Siegler, S. und Wasser, N. (Hrsg.) (2010) „Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday“, Lecture Notes in Artificial Intelligence. 1 st edition 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-17172-7.

Siegler, Simon, und Nathan Wasser, Hrsg. „Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday“. Cd. Lecture Notes in Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-17172-7.

Siegler, S., … Wasser, N. (Hrsg.). (ca. 2010). Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday [Cd]. In Lecture Notes in Artificial Intelligence (1 st edition 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-17172-7

Siegler, S., und N. Wasser, Herausgeber. „Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60 th Birthday“. Lecture Notes in Artificial Intelligence, 1 st edition 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-17172-7.

SIEGLER, Simon und Nathan WASSER (Hrsg.). [cd]. 2010. 1 st edition 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642171727