C. Choffrut

• Automata Networks
• Stacs 90
• Stacs, 91