From causal to z-linearizable transactional memory - Riegel, Torvald; Fetzer, Christof; Sturzrehm, Heiko; Felber, Pascal (My University, 2007)