Brachman R.J. et al: "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of of KRYPTON"

[Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981  

Languages mentioned KRYPTON {1983}