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