Ésik, Z. Extended Temporal Logic on Finite Words and Wreath Product of Monoids With Distinguished Generators. BRICS 2002, 9.