"Verifying properties of well-founded linked lists."

Shuvendu K. Lahiri, Shaz Qadeer (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics