_id,doi,title
2328,10.1007/978-3-642-40184-8_18,Aspect-oriented linearizability proofs