R. A. de Freitas, H. de A. Feitosa, e L. H. da C. Silvestrini, “Towards an algebrization of a linear temporal logic”, C. Q. D., vol. 25, p. e25007, jul. 2025.