Symbolic analysis and atomistic model as a basis for a program comprehension methodology - Laitila, Eki (Jyväskylä studies in computing,, 2008)