Borba, Paulo, AND 		Meira, Silvio.
" Protótipos Funcionais a partir de Especificações Formais em VDM" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (25 October 1989)