_id,doi,title
531,10.1007/s10703-011-0131-3,Verification of STM on relaxed memory models