Silva, Edno, 		Ogasawara, Eduardo, 		Oliveira, Daniel, 		Mattoso, Marta, E 		Benevides, Mario.
" Especificação Formal e Verificação de Workflows Científicos" <em>Anais do Brazilian e-Science Workshop (BreSci)</em> [Online], (20 julho 2010)