Infering Ownership Types for Encapsulated Object-Oriented Program Components. - Arnd Poetzsch-Heffter; Kathrin Geilmann; Jan Schäfer 002 (Program Analysis and Compilation, 2006)

A Calculus for Boxes and Traits in a Java-Like Setting. - Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schäfer 002 (COORDINATION, 2010)

Combining traits with boxes and ownership types in a Java-like setting. - Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer 002 (Sci. Comput. Program., 2013)