Nurit Dor Michael Rodeh Shmuel Sagiv Checking Cleanness in Linked Lists. 115-134 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#DorRS00