An algebraic theory of componentised interaction. - Christopher James Chilton (2013)