Oquendo, Flavio.
" π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions." <em>Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software,
Porto Alegre/RS, 2008</em>. SBC, 2008,  
pp.52-66.