Tracing sharing in an imperative pure calculus. - Giannini, Paola; Richter, Tim; Servetto, Marco; Zucca, Elena (Science of Computer Programming, 2019)