Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. - Carmen Huamali Salazar; Silvio Romero de Lemos Meira (SBES, 1988)