A descriptive approach to language-theoretic complexity - Rogers, James (Studies in logic language and information, 1998)