Title: Investigations in the theory of descriptive complexity
First published: 1974