Z. Ésik and K. G. Larsen, “Regular Languages Definable by Lindström Quantifiers”, BRICS, vol. 10, no. 28, Aug. 2003.