Fernando Castor João Paulo Oliveira André L. M. Santos Software transactional memory vs. locking in a functional language: a controlled experiment. 117-122 2011 SPLASH Workshops https://doi.org/10.1145/2095050.2095071 conf/oopsla/2011w db/conf/oopsla/splash2011w.html#CastorOS11