Relations and Kleene Algebra in Computer Science