Ron Fagin's paper on "Generalized first-order spectra"
Generalized first-order spectra and polynomial-time recognizable sets
.
Ronald Fagin
In
Complexity of Computation
, ed. R. Karp, pages 43-73, SIAM-AMS Proceedings 7, 1974.
pdf