Towards a formal account for software transactional memory
scientific article; zbMATH DE number 7368060