1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer, Heidelberg (2004)
2. Lecture Notes in Computer Science;M.P. Papazoglou,2002
3. Dijkman, R.M., Dumas, M.: Service-oriented design: A multi-viewpoint approach. International Journal on Cooperative Information Systems 13(14), 338–378 (2004)
4. Quartel, D., Dijkman, R., van Sinderen, M.: Methodological support for service-oriented design with isdl. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 1–10. ACM Press, New York (2004)
5. Back, R.J.R.: Correctness preserving program refinements: Proof theory and applications (1980)