A Formal Model of Services. - Broy, Manfred; Kruger, Ingolf H.; Meisinger, Michael (ACM Transactions on Software Engineering & Methodology, 2007)