The author Erkki Laitila is a PhD specialized for software engineering, reverse engineering and program comprehension. He has created a novel methodology for symbolic analysis, used essentially for program comprehension.

A book about the topic can be accessed at Amazon: http://www.amazon.com/Symbolic-Analysis-Basis-Program-Comprehension/dp/363916833X/.

Symbolic Analysis as a Basis for Program Comprehension