Mikhail Auguston Miu Har Hon Assertions for Dynamic Shape Analysis of List Data Structures. 37-42 1997 AADEBUG db/conf/aadebug/aadebug97.html#AugustonH97 http://www.ep.liu.se/ea/cis/1997/009/04/