"Relations and Kleene Algebra in Computer Science, 10 conf., and 5 conf" - читать интересную книгу автора (Rudolf Berghammer, Bernhard Möller, Georg Struth)