Assertions for Dynamic Shape Analysis of List Data Structures. - Mikhail Auguston; Miu Har Hon (AADEBUG, 1997)