Ribeiro, Leila, E 		Nunes, Daltro.
" Especificação de um Programa de Matrículas Utilizando VDM" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)