Computational counterpoint worlds : Mathematical Theory, Software, and Experiments (2015)