Klarlund, N.; Schwartzbach, M. I. Verification of Pointers. DPB 1994, 23.