Abouzaid, M. F. (2010). Analyse formelle d'orchestrations de services Web [Ph.D. thesis, École Polytechnique de Montréal]. Available