Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / - Comon, Hubert.; Kirchner, Claude.; Kirchner, H. (Springer,)