Relational and Kleene-Algebraic Methods in Computer ScienceR. Berghammer, Bernhard Möller, Georg Struth₹5,534
