Snapshot isolation anomalies detection in software transactional memoryRicardo J Dias, João Seco, João M LourençoPosted Jan 1, 2010 Link