Nunes, Adélia, and Daniel A. Menascé.
" Prova de Correção de Mecanismos de Controle de Coerência em Multiprocessadores." <em>Proceedings of the 3rd Brazilian Symposium on Computer Architecture and Parallel Processing,
Rio de Janeiro/RJ, 1990</em>. SBC, 1990,  
pp.151-162.