Oquendo, F. (2008). π-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, (pp. 52-66). Porto Alegre: SBC. doi:10.5753/sbcars.2008.46105