D. Knuth. Symp. on Semantics of Algorithmic Languages, volume 188 of Lecture Notes in Mathematics, Springer-Verlag, New York--Heidelberg--Berlin, (1971)
R. Giegerich, and R. Wilhelm. GI 7. Jahrestagung, volume 10 of Inf. Fachb., page 17--36. New York--Heidelberg--Berlin, Springer-Verlag, (1977)Nürnberg.
H. Ganzinger. Science of Computer Programming, 3 (3):
223--278(December 1983)See also: Bericht TUM-I8306, Institut für Informatik, Tech. University
München (July 1983)..
J. Engelfriet, and G. Filé. 7th Int. Coll. on Automata, Languages and Programming, volume 85 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Noordwijkerhout.(July 1980)
B. Courcelle, and P. Franchi-Zannettacci. Theoretical Computer Science, 17 (2 and 3):
163--191 and 235--257(1982)part I and II See also: rapport 8008, University de Bordeaux~I (April
1980)..