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