Roel Wieringa, Wiebren de Jonge, Paul Spruit. Roles and Dynamic Subclasses: A Modal Logic Approach. In Mario Tokoro, Remo Pareschi, editors, Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP 94, Bologna, Italy, July 4-8, 1994. Volume 821 of Lecture Notes in Computer Science, pages 32-59, Springer, 1994. [doi]
Abstract is missing.