@article{DerrickDohertyDongoletal.2021,
  author    = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Verifying correctness of persistent concurrent data structures: a sound and complete method},
  journal   = {Formal Aspects of Computing},
  volume    = {33},
  number    = {4-5},
  pages     = {547 -- 573},
  doi       = {10.1007/s00165-021-00541-8},
  year      = {2021},
}