1. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten,1987
2. On systems of equations defining infinite graphs;Bauderon,1989
3. Infinite hypergraphs: basic properties and systems of equations;Bauderon;Internal Report I-8920,1989
4. L. Boasson and M. Nivat, Centers of context-free languages, Internal Report LITP 84–44.
5. Regular canonical systems;Büchi;Arch. Math. Logik Grundlag.,1964