Klarlund, N., and M. I. Schwartzbach. “Verification of Pointers”. DAIMI Report Series, vol. 23, no. 470, Feb. 1994, doi:10.7146/dpb.v23i470.6943.