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