Freitas, Romulo Albano de, Hércules de Araujo Feitosa, e Luiz Henrique da Cruz Silvestrini. “Towards an Algebrization of a Linear Temporal Logic”. C.Q.D. - Revista Eletrônica Paulista de Matemática 25 (julho 25, 2025): e25007. Acessado julho 27, 2025. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461.