H. Gast, “Semi-automatic Proofs about Object Graphs in Separation Logic”, eceasst, vol. 53, Dec. 2012.