"Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)" - читать интересную книгу автора (Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller)