Full functional verification of linked data structures (2008)

by Karen Zee, Viktor Kuncak, Martin C. Rinard
Venue:In ACM Conf. Programming Language Design and Implementation (PLDI