towards extracting domain knowledge from c code .
Intentional Meaning of Programs