Salazar, Carmen, and Silvio Romero de Lemos Meira.
" Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição." <em>Anais do II Simpósio Brasileiro de Engenharia de Software,
Canela/RS, 1988</em>. SBC, 1988,  
pp.47-60.