Silva, E., 		Ogasawara, E., 		Oliveira, D., 		Mattoso, M., & 		Benevides, M.
2010 Jul 20.  Formal Specification and Verification of Scientific Workflows. Proceedings of the Brazilian e-Science Workshop (BreSci). [Online] :