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

by M Kifer, G Lausen, J Wu
Venue:Journal of the ACM