@diverzulu

Logical foundations of object-oriented and frame-based languages

, , and . Journal of the ACM (JACM), 42 (4): 741--843 (1995)

Links and resources

Tags

community