Silva, Edno, Eduardo Ogasawara, Daniel de Oliveira, Marta Mattoso, and Mario R. F. Benevides.
" Formal Specification and Verification of Scientific Workflows." <em>Proceedings of the 4th e-Science Workshop,
Belo Horizonte/MG, 2010</em>. SBC, 2010,  
pp.201-208.