Formalized Music by Sharon Kanach & Iannis Xenakis