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

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