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