"Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems " - читать интересную книгу автора (Frederic Geurts)