P. Ventura and D. Bisig, “Algorithmic reflections on choreography”, HT, vol. 12, no. 2, pp. 252–288, Nov. 2016.