Dianxiang Xu, Guoliang Zheng: Inheritance as sublation and its semantics. ACM SIGSOFT Softw. Eng. Notes 20(5): 62-66 (1995)