Symbolic Analysis as a Basis for ProgramComprehension by Erkki Laitila