Logical Foundations of Object-Oriented and Frame-Based Languages (1995)

by Michael Kifer, Georg Lausen, James Wu
Venue:Journal of the ACM