Borba, Paulo, E 		Meira, Silvio.
" Tradução de Tipos de Especificação para Protótipo" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (24 outubro 1990)