A. Møller and M. I. Schwartzbach, “The Pointer Assertion Logic Engine”, BRICS, vol. 7, no. 39, Jun. 2000.