Relations and Kleene Algebra in Computer Science - Berghammer, Rudolf; Jaoua, Ali Mohamed; Kanade, Takeo; Möller, Bernhard; Jaoua, Ali (Springer Berlin Heidelberg, 2009)