"Completeness and Nondeterminism in Model Checking Transactional Memories."

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics