1. Alves, A., Arkin, A., Askary, S., Barreto, C., et al.: Web Services Business Process Execution Language Version 2.0 (2007)
2. Baeten, J.C.M., Corradini, F., Grabmayer, C.A.: A characterization of regular expressions under bisimulation. J. ACM 54(2), 6 (2007)
3. Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (wscl) 1.0 (2002)
4. Bellwood, T., Capell, S., Clement, L., Colgrave, J., et al.: uddi Version 3.0.2. OASIS Standard (2005),
http://uddi.org/pubs/uddi-v3.0.2-20041019.htm
5. Lecture Notes in Computer Science;D. Berardi,2003