Towards Formal Verification of Web Service Composition - Retraction Notice | RetractBase