Investigations in the theory of descriptive complexity (1974)

by W L Gewirtz