"Declarative Reasoning about the Structure of Object-Oriented Systems."

Roel Wuyts (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics