Software Transactions: A Programming-Languages Perspective Dan Grossman University of Washington 28 February 2008.
The Why, What, and How of Software Transactions for More Reliable Concurrency Dan Grossman University of Washington 8 September 2006.
Programming-Language Motivation, Design, and Semantics for Software Transactions Dan Grossman University of Washington June 2008.