Møller, A. and Schwartzbach, M. I. (2000) “The Pointer Assertion Logic Engine”, BRICS Report Series, 7(39). doi: 10.7146/brics.v7i39.20205.