Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday - Simon Siegler, Nathan Wasser ((Lecture Notes in Computer Science))