Choreographies for Program Understanding. - Gabriele Genovese; Ivan Lanese; Cinzia Di Giusto; Emilio Tuosto; Germán Vidal (FORTE, 2025)