Oliveira, Filipe, E 		Oliveira, Elthon.
" Especificações Alloy de Elementos da Lógica Proposicional" <em>Anais do Encontro Unificado de Computação do Piauí (ENUCOMPI)</em> [Online], (23 novembro 2021)