Relations and Kleene Algebra in Computer Science | lit.salon