Mikhail Auguston, Miu Har Hon: Assertions for Dynamic Shape Analysis of List Data Structures. AADEBUG 1997: 37-42