M. Kifer, G. Lausen, und J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, (42)4:741--843, 1995. [PUMA: frame object foundations oriented logical languages based]