Kleene algebra with domain (Inst. für Informatik, 2003)