Literature. Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al) Feedback, Trace and Fixed-point Semantics (Katis, Sabadini, Walters, 2002) Span(Graph), A Categorial Algebra of Transition Systems (Katis, Sabadini, Walters, 1997)