Andersen, D. S.; Pedersen, L. H.; Hüttel, H.; Kleist, J. Objects, Types and Modal Logics. BRICS 1996, 3.