Patterns for Re-usable Aspects in Object Teams. - Dehla Sokenou; Katharina Mehner; Stephan Herrmann 001; Henry Sudhof (NODe/GSEM, 2006)

Compositionality of Aspect Weaving. - Florian Kammüller; Henry Sudhof (SJTU-TUB Joint Workshop, 2008)

Composing Safely - A Type System for Aspects. - Florian Kammüller; Henry Sudhof (SC@ETAPS, 2008)

Locally Nameless Sigma Calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz; Henry Sudhof (Arch. Formal Proofs, 2010)

A mechanized theory of aspects. - Henry Sudhof (2010)