_id,doi,title
1832,10.2168/LMCS-11(1:20)2015,Aspect-oriented linearizability proofs