Justo, George, E 		Meira, Silvio.
" Especificação Executável de um Formatador de Texto" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (22 outubro 1987)