@article{BilaDohertyDongoletal.2020,
  author    = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Defining and verifying durable opacity: correctness for persistent software transactional memory},
  journal   = {Lecture Notes in Computer Science},
  volume    = {12136},
  pages     = {39 -- 58},
  doi       = {10.1007/978-3-030-50086-3_3},
  year      = {2020},
}