Arthur Oliveira Vale, Zhong Shao, Yixuan Chen: A Compositional Theory of Linearizability. Proc. ACM Program. Lang. 7(POPL): 1089-1120 (2023)