Barajas, F. V. A Precise Specification For The Modelling Of Collaborations. MJCS 2010, 23, 18-36.