Especificação Executável de um Formatador de Texto. - George Roger Justo; Silvio Romero de Lemos Meira (SBES, 1987)