Ribeiro, L., & 		Nunes, D.
1989 out 25.  Especificação de um Programa de Matrículas Utilizando VDM. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :