Møllerand Schwartzbach. The Pointer Assertion Logic Engine. Association for Computing Machinery (ACM), May 2001, doi:10.1145/381694.378851.