P.: Roles and dynamic subclasses: a modal logic approach (1994)

by R Wieringa, W de Jonge, Spruit
Venue:In ECOOP 94 Proceedings, Springer–Verlag, LNCS 821