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