[CP24] Choreographic Programming: its essence, beauty, and necessity | ACM SIGPLAN | Podwise