Carolina Chiao, Lucinéia Thom, Cirano Iochpe, and Manfred Reichert. 2008.
 Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models. In <em>Proceedings of the 4th Brazilian Symposium on Information Systems</em>, April 07, 2008, Rio de Janeiro, Brasil. SBC, Porto Alegre, Brasil, 164-175. DOI: <a href="https://doi.org/10.5753/sbsi.2008.5926">https://doi.org/10.5753/sbsi.2008.5926</a>.