"Kleene Algebra with Equations."

Dexter Kozen, Konstantinos Mamouras (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics