盖·麦库斯克 关于类Algol语言中坏变量构造函数的语义。 （英语） Zbl 1337.68053号 Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，169-186，仅电子版（2003）。MSC公司：68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.McCusker}，电子。注释Theor。计算。科学。83、169--186（2003年；Zbl 1337.68053） 全文： 内政部
穆纳瓦尔·卡里姆;安吉洛·塔塔格里亚;阿什法克·博哈里。 称量银河。 （英语） Zbl 1038.83002号 经典量子引力 20，第13期，2815-2825（2003）.MSC公司：83个B05 第83页 PDF格式BibTeX公司 XML格式引用 \textit｛M.Karim｝等人，《经典量子引力20》，编号132815-2825（2003；Zbl 1038.83002） 全文： 内政部 arXiv公司
Meinke，K。 高阶方程的证明理论：守恒性，正规形式和项重写。 （英语） Zbl 1054.68134号 J.计算。系统。科学。 67，第1期，127-173（2003）.MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke}，J.计算。系统。科学。67，第1号，127--173（2003；Zbl 1054.68134） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;理查德·博纳特 存在垃圾收集时的程序逻辑和等效性。 （英语） Zbl 1038.68011号 西奥。计算。科学。 298，第3期，557-581（2003）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，Theor。计算。科学。298，第3号，557--581（2003；Zbl 1038.68011） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;Severi，Paula，宝拉;德弗里斯，Fer-Jan 无限lambda演算与Berarducci树的判别。 （英语） Zbl 1038.68023号 西奥。计算。科学。 298，第2期，275-302（2003）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Theor。计算。科学。298，第2号，275--302（2003；Zbl 1038.68023） 全文： 内政部