Karen Zee Viktor Kuncak Martin C. Rinard Full functional verification of linked data structures. 349-361 2008 PLDI http://doi.acm.org/10.1145/1375581.1375624 conf/pldi/2008 db/conf/pldi/pldi2008.html#ZeeKR08