N. Klarlund and M. I. Schwartzbach, “Verification of Pointers”, DPB, vol. 23, no. 470, Feb. 1994.