F. Oliveira and E. Oliveira.
" Especificações Alloy de Elementos da Lógica Proposicional", in <em>Anais do XIV Encontro Unificado de Computação do Piauí e XI Simpósio de Sistemas de Informação</em>, Picos, 2021, pp. 215-222, doi: <a href="https://doi.org/10.5753/enucompi.2021.17774">https://doi.org/10.5753/enucompi.2021.17774</a>.