String rewriting systems and associated finiteness conditions. - S. McGlashan (2002)