Ronald Morrison, Andrew England, Richard C. H. Connor, Malcolm P. Atkinson, Svetlana Barneva, Fausto Rabitti, Pavel Zezula: Using continued fractions for efficient subclass checking. OOPS Messenger 6(2): 1-11 (1995)