Borba, Paulo, E 		Meira, Silvio.
" Protótipos Funcionais a partir de Especificações Formais em VDM" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)