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