Nunes, A., & 		Menascé, D.
(1990).
 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>, (pp. 151-162). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1990.23115