Gast, H. (2012) “Semi-automatic Proofs about Object Graphs in Separation Logic”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.788.