Pham，团结;安德鲁·加塞克;迈克尔·沃伦。 用抽象推理代数数据类型。 （英语） Zbl 1386.68104号 J.汽车。推理 57，第4期，281-318（2016）.MSC公司：68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Pham}等人，J.Autom。推理57，第4281-318号（2016；Zbl 1386.68104） 全文： 内政部 arXiv公司
靖国神社;津田，武士;小林直树 使用动态资源创建验证高阶并发程序。 （英语） 兹比尔1483.68213 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，APLAS 2016，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 335-353 (2016).MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Yasukata}等人，Lect。注释计算。科学。100173235-353（2016年；兹比尔1483.68213） 全文： 内政部
德劳、塔库;津田，武士;小林直树 直接样式的高阶模型检查。 （英语） Zbl 1483.68206号 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，APLAS 2016，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 295-313 (2016).MSC公司：60年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Terao}等人，Lect。注释计算。科学。10017295-313（2016；Zbl 1483.68206） 全文： 内政部