Z. Ésik og K. G. Larsen, “Regular Languages Definable by Lindström Quantifiers”, BRICS, bd. 10, nr. 28, aug. 2003.