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.