Algorithmic reflections on choreography · Study