Kifer, M.; Lausen, G. & Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. In: Journal of the ACM 42 (1995), Nr. 4, S. 741-843
@article{KLW90,
author = {Kifer, M. and Lausen, G. and Wu, J.},
title = {Logical Foundations of Object-Oriented and Frame-Based Languages},
journal = {Journal of the ACM},
year = {1995},
volume = {42},
number = {4},
pages = {741--843},
isbn = {3-540-41066-X},
keywords = {frame, object, foundations, oriented, logical, languages, based}
}