Silva, Edno, Eduardo Ogasawara, Daniel de Oliveira, Marta Mattoso, and Mario R. F. Benevides.
" Especificação Formal e Verificação de Workflows Científicos." <em>Anais do IV e-Science Workshop,
Belo Horizonte/MG, 2010</em>. SBC, 2010,  
pp.201-208.