Roman Manevich Eran Yahav Ganesan Ramalingam Shmuel Sagiv Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. 181-198 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=181 2005 conf/vmcai/2005 VMCAI db/conf/vmcai/vmcai2005.html#ManevichYRS05