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