1. Relationships;Springer Optimization and Its Applications;2014
2. Magda: A New Language for Modularity;ECOOP 2012 – Object-Oriented Programming;2012
3. On the relationship between classes, objects and data abstraction;Mathematical Methods in Program Development;1997
4. Matching constraints for the Lambda Calculus of Objects;Lecture Notes in Computer Science;1997
5. Notes on typed object-oriented programming;Lecture Notes in Computer Science;1994