Formal strategies in composition — doctoral thesis