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