Descriptive complexity. Springer-Verlag (1999)

by N Immerman