Borba, P., & 		Meira, S.
1990 out 24.  Tradução de Tipos de Especificação para Protótipo. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :