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

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