Layered explanations of software: a methodology for program comprehension | IEEE Conference Publication | IEEE Xplore