Verified Lock-Free Session Channels with Linking. - Thomas Somers 001; Robbert Krebbers (Proc. ACM Program. Lang., 2024)