Nunes, A., & 		Menascé, D.
1990 nov  7.  Prova de Correção de Mecanismos de Controle de Coerência em Multiprocessadores. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :