Oliveira, F., & 		Oliveira, E.
2021 nov 23.  Especificações Alloy de Elementos da Lógica Proposicional. Anais do Encontro Unificado de Computação do Piauí (ENUCOMPI). [Online] :