Kleene Algebra with Domain (2003)

by Jules Desharnais, Bernhard Möller, Georg Struth