Stewart, I.A., "Program schemes, arrays, Lindström quantifiers and zero-one laws", Theoretical Computer Science, 2002