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