Kathleen Fisher John H. Reppy Jon G. Riecke A Calculus for Compiling and Linking Classes. 135-149 2000 conf/esop/2000 ESOP http://link.springer.de/link/service/series/0558/bibs/1782/17820135.htm db/conf/esop/esop2000.html#FisherRR00