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