A Rigorous Approach to the Algorithmic Composition of Iannis Xenakis(2009) [pdf]