罗兰·巴克豪斯;费雷拉,乔昂·F·。 关于欧几里德算法和初等数论。 (英语) Zbl 1246.11187号 科学。计算。程序。 76,第3期,160-180(2011).MSC公司:2016年11月 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.F.Ferreira},科学。计算。程序。76,第3号,160--180(2011;Zbl 1246.11187) 全文: 内政部 arXiv公司
Bohórquez V,Jaime A。 一种基本的、统一的程序正确性方法。 (英语) Zbl 1211.68079号 正式Asp。计算。 22,第5期,611-627(2010).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bohórquez V},正式Asp。计算。22,第5号,611--627(2010;Zbl 1211.68079) 全文: 内政部