Justo, G., & 		Meira, S.
1987 out 22.  Especificação Executável de um Formatador de Texto. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :