Z. Ésik and K. G. Larsen, “Regular Languages Definable by Lindström Quantifiers (Preliminary Version)”, BRICS, vol. 9, no. 20, Apr. 2002.