Freitas, R. A. de, Feitosa, H. de A. e Silvestrini, L. H. da C. (2025) “Towards an algebrization of a linear temporal logic”, C.Q.D. - Revista Eletrônica Paulista de Matemática. Bauru, 25, p. e25007. doi: 10.21167/cqdv25e25007.