"Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Simon Siegler, Nathan Wasser)