A Categorical Semantics of Event-based Architectures - J. L. Fiadeiro (2007)