Stefanov, C. A System for Analysis of Information Structure of Programs. Num. Meth. Prog. 2005, 6, 10-21.