Proving Logical Atomicity using Lock Invariants. - Roshan Sharma; Shengyi Wang; Alexander Oey; Anastasiia Evdokimova; Lennart Beringer; William Mansky (CoRR, 2023)