1. Lecture Notes in Computer Science;J. Aldrich,2002
2. Ancona, D., Damiani, F., Drossopoulou, S., Zucca, E.: Polymorphic bytecode: Compositional compilation for Java-like languages. In: ACM Symp. on Principles of Programming Languages 2005. ACM Press, New York (2005)
3. Ancona, D., Lagorio, G., Zucca, E.: Smart modules for Java-like languages. In: 7th Intl. Workshop on Formal Techniques for Java-like Programs 2005 (July 2005)
4. Ancona, D., Lagorio, G., Zucca, E.: A flexible and type-safe framework of components for Java-like languages. Technical report, Dipartimento di Informatica e Scienze dell’Informazione, Università di Genova (submitted for journal publication, 2006)
5. Lecture Notes in Computer Science;D. Ancona,2001