Declarative Concurrent Data Structures. - Aunn Raza; Hamish Nicholson; Ioanna Tsakalidou; Anna Herlihy; Prathamesh Tagore; Anastasia Ailamaki (CoRR, 2024)