Costa, Ruy, E Amorim, Cláudio. " Simulação de Modelos Paralelos de Programação em Lógica" Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (7 setembro 1993)