Semantic Code Analysis. - Walter G. Wilson; Chester C. John (IJCAI, 1983)