Formal strategies in composition - doctoral thesis