Snapshot Isolation Anomalies Detection in Software Transactional MemoryRicardo J. Dias, João Seco, João M. LourençoPosted Jan 1, 2010 Cite Link