Symbolic Analysis as a Basis for ProgramComprehension door Erkki Laitila