Descriptive complexity - Immerman, Neil (Graduate texts in computer science, 1999)