Confluent string rewriting - Jantzen, Matthias (Springer, 1988)