Danya Lette, Azadeh Farzan: Commutativity for Concurrent Program Termination Proofs. CAV (1) 2023: 109-131