Ésik, Z. (2002). Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. BRICS Report Series, 9(47). https://doi.org/10.7146/brics.v9i47.21762