Møller, A.; Schwartzbach, M. I. The Pointer Assertion Logic Engine. BRICS 2000, 7.