1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services – Concepts, Architectures and Applications. Springer, Heidelberg (2004)
2. Sangiorgi, D., Walker, D.: The π-calculus – A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
3. SEI Series in Software Engineering;L. Bass,2003
4. Schlingloff, B.-H., Martens, A., Schmidt, K.: Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems 126, 3–26 (2005)
5. Dijkman, R., Dumas, M.: Service-oriented Design: A Multi-viewpoint Approach. Intl. Journal of Cooperative Information Systems 13(4), 337–368 (2004)