Kleene Algebras with Domain by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber Apr 12