Drummond, L., & 		Barbosa, V.
1995 jul 29.  Algoritmos Distribuídos para Detecção de Predicados Globais. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :