WSOL – A Language for the Formal Specification of Various Constraints and Classes of Service for Web Services
(2002) Tosic, V., Pagurek, B., Patel, K. WSOL – A Language for the Formal Specification of Various Constraints and Classes of Service for Web Services – Technical Report OCIECE-02-06, Ottawa-Carleton Institute for Electrical and Computer Engineering – OCIECE, November 2002.