Relations and Kleene Algebra in Computer Science - Berghammer, Rudolf; Kanade, Takeo; Möller, Bernhard; Struth, Georg (Springer Berlin Heidelberg, 2008)