阿尔特·卡奇，哈桑 抽象、可重用和可扩展的编程语言设计体系结构。 （英语） Zbl 1397.68023号 Tannen，Val（编辑）等人，《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-41659-0/pbk；978-3-442-41660-6/电子书）。《计算机科学讲义》8000112-166（2013）。MSC公司：68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}，莱克特。注释计算。科学。8000、112--166（2013；Zbl 1397.68023） 全文： 内政部
亚辛，A.D。；科什切娃，A.K。 超直觉逻辑L2中的新常数。 （英语。俄文原件） Zbl 1331.03027号 数学。笔记 94，第6号，938-950（2013）; 翻译自Mat.Zametki 94，No.6，918-932（2013）。 审核人：Alex Citkin（沃伦） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}和\textit{A.K.Koshcheeva}，数学。附注94，第6号，938--950（2013；Zbl 1331.03027）；翻译自Mat.Zametki 94，No.61918-932（2013） 全文： 内政部