W. W. Bartol;Antoni Kreczmar;A. I. Litwiniuk;H. Oktaba
-;-;-;-
On an algorithm determining direct superclasses in Java and similar languages with inner classes---Its correctness, completeness and uniqueness of solutions
Information and Computation