Text this: Relations and kleene algebra in computer science :