N. Klarlund og M. I. Schwartzbach, “Verification of Pointers”, DPB, bd. 23, nr. 470, feb. 1994.