Carvalho, O., & 		Di Iorio, V.
1994 ago  1.  Derivação Formal de Estruturas Distribuídas. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :