“Towards an Algebrization of a Linear Temporal Logic”. C.Q.D. - Revista Eletrônica Paulista de Matemática 25 (julho 25, 2025): e25007. Acesso em outubro 12, 2025. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461.