Logical foundations of object-oriented and frame-based languages (1995)

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