Dias, RJ, Distefano D, Seco JC, Lourenço J.  2012.  Verification of Snapshot Isolation in Transactional Memory Java Programs, June 11-16. 26th European Conference on Object-Oriented Programming. :640-664., Beijing, China