Text this: Relational and Kleene-algebraic methods in computer science :