Long Li Yu Zhang Yiyun Chen Yong Li Certifying Concurrent Programs Using Transactional Memory. 110-121 2009 24 J. Comput. Sci. Technol. 1 http://dx.doi.org/10.1007/s11390-009-9204-9 db/journals/jcst/jcst24.html#LiZCL09