Jean Neraud: Equations in words: an algorithmic contribution. Bull. Belg. Math. Soc. 1/2 (1994), 253-283. Jean Neraud/Maxime Crochemore: A string matching interpretation of the equation x^m y^n =z^p, Theor. Comp. Sci. 92 (1992), 145-164.