Programming Concurrent Systems by Butler Lampson (2022) from Dijkstra Tribute
microsoft.com