Backporting Java 5 Code. - Tobias Gutzmann; Tamara Steijger (SCAM, 2009)

Annotating Fragmentation Patterns. - Sebastian Böcker; Florian Rasche; Tamara Steijger (WABI, 2009)