1. Aho, A. V., Lam, M. S., Sethi, R. and Ullman, J. D. 1986. Compilers: Principles, Techniques, and Tools. Addison Wes-ley.
2. Bertolino, A., Inverardi, P., Pelliccione, P. and Tivoli, M. 2009. Automatic Synthesis of Behavior Protocols for Com-posable Web-Services. In Proceedings of the 7th Joint Meet-ing of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (Amsterdam, The Netherlands, August 24-28, 2009). ESEC/FSE '09. ACM, New York, NY, 141--150.
3. Bruijn, J. D., Fensel, D., Keller, U., Kifer, M., Lausen, H., Krummenacher, R., Polleres, A. and Predoiu, L. 2005. Web Service Modeling Language (WSML). Available at http://www.w3.org/Submission/WSML/.
4. Engler, D., Chen, D. Y., Hallem, S., Chou, A. and Chelf, B. 2001. Bugs as deviant behavior: a general approach to infer-ring errors in systems code. In Proceedings of the eighteenth ACM symposium on Operating systems principles (Chateau Lake Louise, Banff, Canada, October 21-24, 2001). SOSP '01. ACM, New York, NY, 57--72.
5. Fisher, M., Elbaum, S. and Rothermel, G. 2007. Automated Refinement and Augmentation of Web Service Description Files. Technical Report. University of Nebraska - Lincoln.