"Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers " - читать интересную книгу автора (R. Berghammer, Bernhard Möller, Georg Struth)