M.L.BALINSKI，求凸多面体集所有顶点的算法，J.Soc.Indust。 申请。 马塞姆。， 9，{1961年3月} 谷歌学者 
A.CHARNES、W.W.COOPER和A.HENDERSON，《线性规划导论》，J.Wiley，纽约，{1953} 谷歌学者 P.COUSOT和R.COUSOT，程序动态特性的静态确定，第二届国际编程研讨会，B.Robinet（编辑），巴黎杜诺，{1976} 谷歌学者 P.COUSOT和R.COUSAT，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，第四届ACM编程语言原理研讨会会议记录，{1977年1月} 谷歌学者 数字图书馆 
N.E.DYER和L.G.PROLL，确定凸多面体所有极点的算法，数学规划，12，{1977年} 谷歌学者 M.KARR，程序变量之间的仿射关系，信息学报，6，{1976年} 谷歌学者 V.KLEE，凸多面体的一些特征，数学学报，102，{1959} 谷歌学者 V.KLEE，关于凸多面体的顶点数，加拿大数学杂志，16，{1964} 谷歌学者 D.E.KNUTH，《计算机编程艺术》，第3卷，排序和搜索，艾迪生-文斯利出版社。 马萨诸塞州雷丁郡，{1973年} 谷歌学者 数字图书馆 H.W.KUHN，线性方程组和不等式的可解性和一致性，Amer。 数学。 月刊，63，{1956} 谷歌学者 E.LANERY，Recherche d'un système générateur minimal d'un-多面体凸，Thèse de 3ème cycle，法国卡昂，{1966} 谷歌学者 M.MANAS和J.NEDOMA，寻找凸多面体的所有顶点，数值数学，12，{1968} 谷歌学者 T.H.MATTHEIS，确定线性不等式系统中无关约束和所有顶点的算法，运筹学，21，{1973年} 谷歌学者 T.L.SAATY，多面体的顶点数，Amer。 数学。 每月，62，{1955} 谷歌学者 M.SIMONNARD，《林内尔计划》，巴黎杜诺，{1973年} 谷歌学者 铃木和石田，数组绑定检查器的实现，第四届ACM编程语言原理研讨会会议记录，{1977年1月} 谷歌学者 数字图书馆 B.WEGBREIT，基础良好的属性集中的属性提取，IEEE Trans。 在Soft上。 工程，第SE-1卷，第3期，{1975年9月} 谷歌学者 H.WEYL，凸多面体的基本理论，数学年鉴。 研究，24，{1950} 谷歌学者
建议
“有用”变量和线性对象：存储管理、反射和多线程 除了通常的“多用途”变量外，编程语言还应该具有“使用”变量 Useonce的变量绑定到 线性的 ( 未共享、未别名或单独引用 )对象。 线性对象的访问和管理成本很低。。。
