弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·拉尼斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) Zbl 1317.68107号 形式方法系统。设计。 45,第1期,63-109(2014).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,《形式方法系统》。设计。45,编号1,63--109(2014;Zbl 1317.68107) 全文: 内政部 链接
Jörg Brauer;安迪·金 无量词消除的传递函数综合。 (英语) Zbl 1278.68070号 日志。方法计算。科学。 8,第3号,第17号论文,37页(2012年).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}和\textit{A.King},Log。方法计算。科学。8,第3号,第17号论文,37页(2012年;Zbl 1278.68070) 全文: 内政部