Manfred Broy Ingolf H. Krüger Michael Meisinger A formal model of services. 2007 16 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/1189748.1189753 db/journals/tosem/tosem16.html#BroyKM07