约翰·洛·伍兹 符号执行系统的路径选择。(1980年论文修订版)。 (英语) 兹伯利0528.68025 《计算机科学:系统编程》,第12期。密歇根州安娜堡:UMI研究出版社;埃塞克斯·埃平:鲍克出版公司(供应商)。九、 108 p.$44.00(1982)。MSC公司:68瓦30 68-02 68N99型 PDF格式BibTeX公司 XML格式
雅克·科恩 计算机辅助的程序微观分析。 (英语) Zbl 0491.68036号 Commun公司。ACM公司 25224-733(1982年).MSC公司:68瓦99 68瓦30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.科恩},Commun。ACM 25,724--733(1982;Zbl 0491.68036) 全文: 内政部