Jan Vitek R. Nigel Horspool Andreas Krall Efficient Type Inclusion Tests. 142-157 1997 OOPSLA db/conf/oopsla/oopsla97.html#VitekHK97