Z. Ésik og K. G. Larsen, “Regular Languages Definable by Lindström Quantifiers (Preliminary Version)”, BRICS, bd. 9, nr. 20, apr. 2002.