The structure of fixed-point logics - Grohe, Martin 1967- (1994)