Dexter Kozen, Konstantinos Mamouras: Kleene Algebra with Equations. ICALP (2) 2014: 280-292