拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 从头开始的Iris：高阶并发分离逻辑的模块化基础。 （英语） Zbl 1476.68062号 J.功能。程序。 28，论文编号e20，73 p.（2018）.MSC公司：68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{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公司
拉尔夫·荣格;大卫·斯沃西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·图伦;拉尔斯·比克达尔;德雷克·德雷尔 Iris：作为并发推理的正交基础的monoids和不变量。 （英语） Zbl 1346.68135号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。637-650 (2015).MSC公司：68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。637--650（2015年；Zbl 1346.68135） 全文： 内政部