M Nivat

• Automata Languages and Programming Proceedings