Author: ACM Special Interest Group for Automata