Edno Silva, Eduardo Ogasawara, Daniel Oliveira, Marta Mattoso, and Mario Benevides. 2010.
 Formal Specification and Verification of Scientific Workflows. In <em>Proceedings of the 4th e-Science Workshop</em>, July 20, 2010, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 201-208.