Span(Graph): a canonical feedback algebra of open transition systems. - Di Lavore, Elena; Gianola, Alessandro; Román, Mario; Sabadini, Nicoletta; Sobociński, Paweł (Software & Systems Modeling, 2023)