Sophia Drossopoulou An Abstract Model of Java Dynamic Linking and Loading. 53-84 2000 conf/tic/2000 Types in Compilation http://link.springer.de/link/service/series/0558/bibs/2071/20710053.htm db/conf/tic/tic2000.html#Drossopoulou00