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