@article{GianniniRichterServettoetal.2018,
  author    = {Paola Giannini and Tim Richter and Marco Servetto and Elena Zucca},
  title     = {Tracing sharing in an imperative pure calculus},
  journal   = {Science of computer programming},
  volume    = {172},
  pages     = {180 -- 202},
  doi       = {10.1016/j.scico.2018.11.007},
  year      = {2018},
}