拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 从头开始的Iris：高阶并发分离逻辑的模块化基础。 （英语） Zbl 1476.68062号 J.功能。程序。 28，论文编号e20，73 p.（2018）.MSC公司：68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{R.Jung}等人，J.Funct。程序。28，论文编号e20，73 p.（2018；Zbl 1476.68062） 全文： 内政部
约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀 一种用于并发终止保护优化的高阶逻辑。 （英语） Zbl 1485.68076号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 909-936 (2017).MSC公司：68号30 03B70号 68甲15 68甲19 68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Tassarotti}等人，Lect。注释计算。科学。10201、909--936（2017；Zbl 1485.68076） 全文： 内政部 arXiv公司