Freitas, R. A. de, H. de A. Feitosa, e L. H. da C. Silvestrini. “Towards an Algebrization of a Linear Temporal Logic”. C.Q.D. - Revista Eletrônica Paulista De Matemática, vol. 25, julho de 2025, p. e25007, doi:10.21167/cqdv25e25007.