Theories, Methods and Tools in Program Comprehension: Past, Present and Future