Nunes, Adélia, AND 		Menascé, Daniel.
" Prova de Correção de Mecanismos de Controle de Coerência em Multiprocessadores" <em>Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (7 November 1990)