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