Kifer, M.; Lausen, G. & Wu, J. (1995), 'Logical Foundations of Object-Oriented and Frame-Based Languages', Journal of the ACM 42 , 741--843 .