Formal Synthesis In Post-Tonal Music