A programming language perspective on transactional memory consistency | Publicación