Carmen Salazar and Silvio Meira. 1988.
 Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. In <em>Anais do II Simpósio Brasileiro de Engenharia de Software</em>, outubro 27, 1988, Canela/RS, Brasil. SBC, Porto Alegre, Brasil, 47-60. DOI: <a href="https://doi.org/10.5753/sbes.1988.24244">https://doi.org/10.5753/sbes.1988.24244</a>.