Rodrigo Reis, Carla Reis, and Daltro Nunes. 2001.
 APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. In <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, outubro 03, 2001, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 52-67. DOI: <a href="https://doi.org/10.5753/sbes.2001.23980">https://doi.org/10.5753/sbes.2001.23980</a>.