A. Nunes and D. Menascé.
" Prova de Correção de Mecanismos de Controle de Coerência em Multiprocessadores", in <em>Anais do III Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo</em>, Rio de Janeiro/RJ, 1990, pp. 151-162, doi: <a href="https://doi.org/10.5753/sbac-pad.1990.23115">https://doi.org/10.5753/sbac-pad.1990.23115</a>.