Shilov N., Satekbayeva A., Vorontsov A. Alias calculus for a simple imperative language with decidable pointer arithmetic // Computer Science. — 2014. — # 37 — P. 131-147
