Keir Fraser, Tim Harris: Concurrent programming without locks. ACM Trans. Comput. Syst. 25(2): 5 (2007)