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

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