1. M. Bauderon, Infinite Hypergraphs I. Basic properties, Theor. Comput. Sci 82 (1991) 177–214
2. M. Bauderon, Infinite Hypergraphs II. Systems of recursive equations, Theor. Comput. Sci 103 (1993) 165–190
3. M. Bauderon, A categorical approach to vertex replacement: the generation of infinite graphs, 5th International Conference on Graph Grammars and their applications to Computer Science, Williamsburg, November 1994, To appear, Lect. Notes in Comp. Sci.
4. M. Bauderon, Parallel rewriting through the pullback approach, in SEGRA-GRA'95, to appear, Elect. Notes in Theor. Comp. Sci.
5. M. Bauderon, B. Courcelle, Graph expressions and graph rewriting, Math. Systems Theory 20 (1987), 83–127