1. Bergstra, J.A. and Klop, J.W.: The Algebra of Recursively defined Processes and the Algebra of Regular Processes, ICALP 84, LNCS 172, 82–94, Springer, 1984.
2. Davis, M.: Hilberts tenth problem is unsolvable, Amer. Math. Monthly, vol 80, 1973.
3. Garey, M.R. and Johnson, D.S.: Computers and Intractability, W.H. Freeman and Company, 1979.
4. Huet, G.: Résolution d'équations dans des languages d'ordre 1, 2, ..., ω. Thèse de doctorat d'état, Université Paris VII, 1976.
5. Huet, G. and Oppen, D.C.: Equations and Rewrite Rules: A Survey, in Formal Languages: Perspectives and Open Problems, Ed. R. Book, Academic Press, 1980.