Carvalho, Osvaldo, E 		Di Iorio, Vladimir.
" Derivação Formal de Estruturas Distribuídas" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (1 agosto 1994)