Carmen Huamali Salazar, Silvio Romero de Lemos Meira. Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. In Ana Regina Cavalcanti da Rocha, editor, Proceedings of the 2nd Brazilian Symposium on Software Engineering, SBES 1988, Canela, RS, Brazil, October 27-28, 1988. pages 47-60, SBC, 1988. [doi]
Abstract is missing.