Rewriting, computation and proof : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday / ed. H. Comon-Lundh, 2007 r=on-line. - Текст : электронный.