A canonical automaton for one-rule length-preserving string rewrite systems
scientific article; zbMATH DE number 6485816