Liuba Shrira: Implementation techniques for libraries of transactional concurrent data types (#1)