Static and dynamic strategies to understand C programs by code annotation - Berón, Mario (2007)