Ésik, Zoltán. 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.