Relations And Kleene Algebra In Computer Science by Renate Schmidt