These slides are from a talk Mark Volkmann gave at the Strange Loop Conference, he has a more detailed article on Clojure's implementation of STM here: http://java.ociweb.com/mark/stm/article.html