Oquendo, Flavio. " π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions" Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS) [Online], (20 agosto 2008)