_id,doi,title
5391,10.15479/AT:IST-2010-0001,Model checking of linearizability of concurrent list implementations