Nunes, A., & 		Menascé, D.
(1990).
 Prova de Correção de Mecanismos de Controle de Coerência em Multiprocessadores.
In <em>Proceedings of the 3rd Brazilian Symposium on Computer Architecture and Parallel Processing</em>, (pp. 151-162). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1990.23115