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