Descriptive complexity - Immerman, Neil, 1953- (Springer, 1999)