A Set-Theoretical Approach for the Induction of Inheritance Hierarchies.

Wiebke Petersen A Set-Theoretical Approach for the Induction of Inheritance Hierarchies. 2001 53 Electr. Notes Theor. Comput. Sci. http://www1.elsevier.com/gej-ng/31/29/23/144/23/show/Products/notes/index.htt#022 db/journals/entcs/entcs53.html#Petersen01