publicações selecionadas Proposta de uma Ferramenta de Apoio à Formulação de Definições em Semântica Denotacional