1. Lect Notes Comput Sci;P. A. Abdulla,1998
2. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
3. Lect Notes Comput Sci;A. Bouajjani,2000
4. Lect Notes Comput Sci,1991
5. D. Dams, Y. Lakhnech, and M. Steffen. Iterating transducers. Technical Report TR-ST-01-03, Lehrstuhl für Software-Technologie, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel, Jan. 2001. A preliminary version is available on-line at http://radon.ics.ele.tue.nl/~vires/public/results.htm (reports section).