Layered explanations of software: a methodology for program comprehension. - Václav Rajlich; James Doran; Reddi T. S. Gudla (WPC, 1994)