Confluent string rewriting, volume 14 of EATCS monographs on theoretical computer science (1988)

by M Jantzen