Gurchenkov D., Pavlov P., Baskakov E. Partial SSA form: compact representation for programs with indirect memory operations // Computer Science. — 2005. — # 23 — P. 17-44