Silva, E., 		Ogasawara, E., 		Oliveira, D., 		Mattoso, M., & 		Benevides, M.
(2010).
 Formal Specification and Verification of Scientific Workflows.
In <em>Proceedings of the 4th e-Science Workshop</em>, (pp. 201-208). Porto Alegre: SBC.