"Modal Logics for Reasoning about Object-based Component Composition."

Claus Pahl (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics