@misc{W2084130127,
  author = {Michael Kifer and Georg Lausen and James C. Wu},
  title = {Logical foundations of object-oriented and frame-based languages},
  year = {1995},
  howpublished = {Journal of the ACM},
  doi = {https://doi.org/10.1145/210332.210335}
}