@article{journals/mucmc/KostylevZ05,
  title = "On the generalization of substitutions as applied to program static analysis problem",
  author = "Egor V. Kostylev and Vladimir A. Zakharov",
  year = "2005",
  journal = "Moscow University Computational Mathematics and Cybernetics",
  number = "4",
  pages = "42--49",
  volume = "29",
}