Confluent string rewriting. - Springer Verlag, 1988. - ( EATCS Monographs on Theoretical Computer Science ; 14).