A Knowledge-Based Approach To Program Understanding by Salwa K. Abd-El-Hafiz & Victor R. Basili