Declarative Reasoning about the Structure of Object-Oriented Systems (1998)

by R Wuyts
Venue:In Proc. TOOLS USA’98, IEEE Computer