Melo, Jean, E Borba, Paulo. " Improving Modular Reasoning on Preprocessor-Based Systems" Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS) [Online], (29 setembro 2013)