Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday (Springer, 2010)