Kleene Algebra with Domain. - Desharnais, Jules; Möller, Bernhard; Struth, Georg (ACM Transactions on Computational Logic, 2006)