Ventura, P.; Bisig, D. Algorithmic Reflections on Choreography. HT 2016, 12, 252–288.