A technique for subclassing and its implementation exploiting polymorphic procedures - Mancini, Luigi V. (Computing Laboratory <Newcastle-upon-Tyne>: Technical report series, 1988)