"Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)" - читать интересную книгу автора (Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner)