JUSTO, George Roger; MEIRA, Silvio Lemos. Especificação Executável de um Formatador de Texto. Anais do Simpósio Brasileiro de Engenharia de Software (SBES), [S.l.], p. 120-129, out. 1987. ISSN 0000-0000. Disponível em: <https://sol.sbc.org.br/index.php/sbes/article/view/25223>. Acesso em: 17 maio 2024. doi: https://doi.org/10.5753/sbes.1987.25223.