Andersen, D. S., L. H. Pedersen, H. Hüttel, and J. Kleist. “Objects, Types and Modal Logics”. BRICS Report Series, vol. 3, no. 49, June 1996, doi:10.7146/brics.v3i49.20051.