Anthony J. H. Simons The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. 13-26 2005 4 Journal of Object Technology 1 http://www.jot.fm/issues/issue_2005_01/column2 db/journals/jot/jot4.html#Simons05