Text this: Relations and Kleene Algebra in Computer Science