1. Group languages;Anisimov;Kibernetika,1971
2. Infinite hypergraph I, basic properties (fundamental study);Bauderon;Theoret. Comput. Sci.,1991
3. Infinite hypergraph II, systems of recursive equations;Bauderon;Theoret. Comput. Sci.,1992
4. On the regular structure of prefix rewritings;Caucal,1990
5. D. Caucal, Bisimulation of context-free grammars and of pushdown automata, CSLI ‘Modal logic and process algebra’ Vol. 53, Stanford, to appear.