Declarative Reasoning about the Structure of Object-Oriented Systems