Fiadeiroand Schmitt. Structured Co-spans: An Algebra of Interaction Protocols. Springer Berlin Heidelberg, doi:10.1007/978-3-540-73859-6_14.