Robert L. Grossman;M. Sweedler
-;-
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems