"A Kleene Theorem for Nominal Automata."

Paul Brunet, Alexandra Silva (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics