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