F. Oquendo. " π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions", in Proceedings of the 2nd Brazilian Symposium on Software Components, Architectures, and Reuse, Porto Alegre/RS, 2008, pp. 52-66, doi: https://doi.org/10.5753/sbcars.2008.46105.