C. Stefanov, “A system for analysis of information structure of programs”., Num. Meth. Prog., vol. 6, no. 6, pp. 10–21, Mar. 2005.