Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems - Geurts, Frederic; Geurts, Frederic (Springer Berlin Heidelberg : Imprint: Springer, 1998)