B. Silva, F. Pereira, and L. Oliveira. " Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação", in Anais do XIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Manaus, 2013, pp. 212-225, doi: https://doi.org/10.5753/sbseg.2013.19547.