Hans Langmaack, Andrzej Salwicki, Marek Warpechowski. On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions. Inf. Comput., 207(3):389-410, 2009. [doi]
@article{LangmaackSW09,
title = {On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions},
author = {Hans Langmaack and Andrzej Salwicki and Marek Warpechowski},
year = {2009},
doi = {10.1016/j.ic.2008.12.002},
url = {http://dx.doi.org/10.1016/j.ic.2008.12.002},
tags = {Java, completeness},
researchr = {https://researchr.org/publication/LangmaackSW09},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {207},
number = {3},
pages = {389-410},
}