Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164, In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Elsevier, [Book Section]