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