Naftaly H. Minsky Towards Alias-Free Pointers. 189-209 http://link.springer.de/link/service/series/0558/bibs/1098/10980189.htm 1996 conf/ecoop/1996 ECOOP db/conf/ecoop/ecoop96.html#Minsky96