Ésik, Z., and K. G. Larsen. “Regular Languages Definable by Lindström Quantifiers (Preliminary Version)”. BRICS Report Series, vol. 9, no. 20, Apr. 2002, doi:10.7146/brics.v9i20.21950.