Barwise, J. and Moss, L.S. 1995. Modal Correspondence for Models. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 41–56.