"Relational and Kleene-Algebraic Methods in Computer Science" - читать интересную книгу автора (Berghammer R. (Ed), Struth G. (Ed), Miller B.)