Borba, Paulo, and Silvio Lemos Meira.
" Protótipos Funcionais a partir de Especificações Formais em VDM." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.171-184.