1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services – Concepts, Architectures and Applications. Springer, Heidelberg (2004)
2. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12th Int. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)
3. Bertolino, A.: Knowledge area description of software testing. In: Guide to the Software Engineering Body of Knowledge SWEBOK. IEEE Computer Society, Los Alamitos (2000)
4. Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: Proceedings of the 31st EUROMICRO International Conference on Software Engineering and Advanced Applications, Porto, Portugal, August 30th - September 3rd, 2005, pp. 134–142 (2005)
5. Booth, D., et al.: Web Services Architecture (February 2004), http://www.w3.org/TR/ws-arch/