Møllerand Schwartzbach. The Pointer Assertion Logic Engine. no. 39, Aarhus University Library, June 2000, doi:10.7146/brics.v7i39.20205.