db/journals/jacm/KiferLW95.html Michael Kifer Georg Lausen James Wu Logical Foundations of Object-Oriented and Frame-Based Languages. 741-843 1995 42 J. ACM 4 db/journals/jacm/jacm42.html#KiferLW95 db/journals/jacm/KiferLW95.html http://doi.acm.org/10.1145/210332.210335 JACM/42/P0741.pdf