Relational and Kleene-Algebraic Methods in Computer Science | lit.salon