Salazar, Carmen, E 		Meira, Silvio.
" Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1988)