"A Calculus of Components with Dynamic Type-Checking."

Sonia Fagorzi, Elena Zucca (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics