Ribeiro, Leila, and Daltro José Nunes.
" Especificação de um Programa de Matrículas Utilizando VDM." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.185-200.