Paul Brunet, Damien Pous: Kleene Algebra with Converse. RAMiCS 2014: 101-118