"A Formal Exploration of Nominal Kleene Algebra."

Paul Brunet, Damien Pous (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics