Silva, E., 		Ogasawara, E., 		Oliveira, D., 		Mattoso, M., & 		Benevides, M.
2010 jul 20.  Especificação Formal e Verificação de Workflows Científicos. Anais do Brazilian e-Science Workshop (BreSci). [Online] :