Justo, George, and Silvio Lemos Meira.
" Especificação Executável de um Formatador de Texto." <em>Anais do I Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1987</em>. SBC, 1987,  
pp.120-129.