Abouzaid, M. F. (2010). Analyse formelle d'orchestrations de services Web. (PhD thesis, École Polytechnique de Montréal).