Filipe Oliveira and Elthon Oliveira. 2021.
 Especificações Alloy de Elementos da Lógica Proposicional. In <em>Proceedings of the 14th Unified Computing Meeting of Piauí and 11th Symposium on Information Systems</em>, November 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>.