Borba, P., & 		Meira, S.
1989 out 25.  Protótipos Funcionais a partir de Especificações Formais em VDM. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :