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