Filipe Oliveira and Elthon Oliveira. 2021.
 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>, novembro 23, 2021, Picos, Brasil. SBC, Porto Alegre, Brasil, 215-222. DOI: <a href="https://doi.org/10.5753/enucompi.2021.17774">https://doi.org/10.5753/enucompi.2021.17774</a>.