Jyotirmoy V. Deshmukh E. Allen Emerson Prateek Gupta Automatic Verification of Parameterized Data Structures. 27-41 2006 conf/tacas/2006 TACAS http://dx.doi.org/10.1007/11691372_2 db/conf/tacas/tacas2006.html#DeshmukhEG06