Great, thank you!
I’m away from my computer right now so I can’t make a PR, but I’d also like to nominate the beautiful concurrency paper.
It almost seems too good to be true! What’s the catch? (as in what’s stopping us all from doing it this way?)
Edit: Just found Duffy 2004, “A (brief) retrospective on transactional memory”