Klarlund, Nils, and Michael I. Schwartzbach. 1994. “Verification of Pointers”. DAIMI Report Series 23 (470). https://doi.org/10.7146/dpb.v23i470.6943.