Voir la notice de l'article provenant de la source Math-Net.Ru
@article{VMP_2005_6_2_a1, author = {K. S. Stefanov}, title = {A system for analysis of information structure of programs.}, journal = {Numerical methods and programming}, pages = {10--21}, publisher = {mathdoc}, volume = {6}, number = {2}, year = {2005}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/VMP_2005_6_2_a1/} }
K. S. Stefanov. A system for analysis of information structure of programs.. Numerical methods and programming, Tome 6 (2005) no. 2, pp. 10-21. http://geodesic.mathdoc.fr/item/VMP_2005_6_2_a1/