Programming Social Middleware through Social Interaction Types - Serrano JM; Saugar S (Lecture Notes In Computer Science, 2010)