瓦莱里·内波米纳希 改变数据结构元组上确定迭代的符号验证方法及其在指针程序中的应用。 （英语） Zbl 1133.68322号 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，537-554（2008）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Nepominaschy}，莱克特。票据计算。科学。4800、537--554（2008年；Zbl 1133.68322） 全文： 内政部
Nepomnyashchij，V.A。 验证变量数据结构集合上的有限迭代。 （英语。俄文原件） Zbl 1130.68074号 赛博。系统。分析。 43，第3号，341-352（2007）; 翻译自Kibern。修女。分析。43，第3期，33-46（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}，网络。系统。分析。43，第3号，341--352（2007；Zbl 1130.68074）；翻译自Kibern。修女。分析。43，第3号，33-46（2007） 全文： 内政部