Dissertation
-David Jorge Lopes Batista Martinho advised by António Rito SilvaConvergência e Divergência entre Instâncias e Especificações de Processos de Negócio PhD Thesis on , work in progress, [bibTex]