"Relations and Kleene Algebra in Computer Science, 9 conf., RelMiCS-AKA 2006" - читать интересную книгу автора (Renate A. Schmidt)