"A Calculus for Compiling and Linking Classes."

Kathleen Fisher, John H. Reppy, Jon G. Riecke (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics