Z. Ésik, “Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators”, BRICS, vol. 9, no. 47, Dec. 2002.