Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Siegler, Simon; Wasser, Nathan (Springer Berlin Heidelberg : Imprint: Springer, 2010)