V. A. Nepomniaschy. Symbolic method of verification of definite iterations over altered data structures. Programming and Computer Software, 31(1):1-9, 2005. [doi]
@article{Nepomniaschy05, title = {Symbolic method of verification of definite iterations over altered data structures}, author = {V. A. Nepomniaschy}, year = {2005}, doi = {10.1007/s11086-005-0001-0}, url = {http://dx.doi.org/10.1007/s11086-005-0001-0}, tags = {data-flow}, researchr = {https://researchr.org/publication/Nepomniaschy05}, cites = {0}, citedby = {0}, journal = {Programming and Computer Software}, volume = {31}, number = {1}, pages = {1-9}, }