Borba, P., & 		Meira, S.
1989 Oct 25.  Protótipos Funcionais a partir de Especificações Formais em VDM. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :