_id,doi,title
4395,10.1007/978-3-642-11970-5_7,Verifying local transformations on relaxed memory models