A framework for formally verifying software transactional memory algorithms (2012)

by Mohsen Lesani, Victor Luchangco, Mark Moir
Venue:In CONCUR