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