Karl__Lieberherr
A case for statically executable advice: checking the law of demeter with aspectJ
Aspectual Collaborations: Combining Modules and Aspects
Formal Foundations for Object-Oriented Data Modeling
Programming with Aspectual Components
The Demeter Kernel Model for Object-Oriented and Language Design
Traversals of object structures: Specification and efficient implementation