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

by Roel Wuyts
Venue:Proceedings of the 26th Conference on the Technology of Object-Oriented Languages and Systems