Typed Kleene algebras (Inst. für Informatik, 1999)