Logical Composition of Object-Oriented Interfaces.

Mark Grossman, Raimund K. Ege

Browse the full OOPSLA paper archive.