JUSTO, George Roger; MEIRA, Silvio Lemos. Especificação Executável de um Formatador de Texto. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 1. , 1987, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1987 . p. 120-129. DOI: https://doi.org/10.5753/sbes.1987.25223.