Groups of piecewise linear homeomorphisms of the real line. Matthew G. Brin; Craig C. Squier — 1985 Inventiones mathematicae
On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids Jürgen Avenhaus; Ronald V. Book; Craig C. Squier — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications