On the generalization of substitutions as applied to program static analysis problem
Egor V. Kostylev and Vladimir A. Zakharov
Journal
Moscow University Computational Mathematics and Cybernetics
Number
4
Pages
42–49
Volume
29
Year
2005
Egor V. Kostylev and Vladimir A. Zakharov