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

by Michael Kifer , Georg Lausen , James Wu
Venue:JOURNAL OF THE ACM
Citations:763 - 59 self