1. XlinkIt: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, 151–185 (May 2002)
2. Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Proceedings of the 3rd International Conference on Service Oriented Computing (2005)
3. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Department of Computer Science, Iowa State University, TR 98-06-rev27 (April 2005)
4. Oracle. Oracle BPEL Process Manager (2005), http://www.oracle.com/technology/products/ias/bpel/index.html
5. IBM T.J. Watson Research Center. The Futuristic Pizza Company Example (2004), http://researchweb.watson.ibm.com