摘要
马丁·阿巴迪和莱斯利·兰波特。 1993年。组成规范。 美国计算机学会程序设计语言与系统汇刊15，1（1993年1月），73--132 谷歌学者 
数字图书馆 
拉尔夫·约翰·巴克（Ralph-Johan Back）和约阿金·冯·赖特（Joakim von Wright）。 2000.合同、游戏和改进。 信息与通信156（2000），25-45。 谷歌学者 数字图书馆 塞巴斯蒂安·鲍尔（Sebastian S.Bauer）、亚历山大·戴维（Alexandre David）、罗尔夫·亨尼克（Rolf Hennicker）、金·拉森（Kim G.Larsen）、阿克塞尔·莱吉（Axel Legay）、乌里克·尼曼（Ulrik Nyman）和安德。 2012.在基于组件的设计中，从规范转向合同。 15年会议记录 第 软件工程基本方法国际会议（FASE’12）。 爱沙尼亚塔林斯普林格·弗拉格，43-58。 谷歌学者 数字图书馆 阿尔伯特·本维尼斯特、贝诺·特·凯劳德、卢卡·卡洛尼、保罗·卡斯皮和阿尔贝托·桑吉奥瓦尼·文森特利。 2008.组成异质反应系统。 ACM嵌入式计算系统汇刊7，4（2008），43:1--43:36。 谷歌学者 数字图书馆 阿尔伯特·本文尼斯特、贝诺·凯劳德、阿尔伯托·费拉里、莱昂纳多·曼格鲁卡、罗伯托·帕塞罗内和克里斯托斯·索弗罗尼斯。 2008年。基于合同的多视点规范和设计。 在组件和对象的形式化方法中，6 第 2007年10月24日至26日在荷兰阿姆斯特丹举行的国际研讨会（FMCO'07），修订论文，Frank S.de Boer、Marcello M.Bonsange、Susanne Graf和Willem-Paul de Roever（编辑）。 计算机科学讲义，第5382卷。 斯普林格·弗拉格，柏林-海德堡，200-225。 谷歌学者 阿尔伯特·本文尼斯特、贝诺·特·凯劳德、德扬·尼科维奇、罗伯托·帕塞罗内、珍·巴蒂斯特·拉克莱特、菲利普·莱因克迈尔、阿尔贝托·桑吉奥瓦尼·文森特利、沃纳·达姆、托马斯·汉津格和金·拉森。 2018年，系统设计合同。 《电子设计自动化基础与趋势》，第12卷。 现在是出版商。 谷歌学者 卢卡·本维努蒂（Luca Benvenuti）、阿尔贝托·费拉里（Alberto Ferrari）、莱昂纳多·曼格鲁卡（Leonardo Mangeruca）、伊曼纽尔·马齐（Emanuele Mazzi）、罗伯托·帕塞罗内（Roberto Passerone）和克里斯托。 2008年。异构系统规范的基于合同的形式主义。 《规范8设计语言论坛论文集》（FDL08）。 德国斯图加特，142-147。 谷歌学者 交叉引用 
卢卡·本维努蒂（Luca Benvenuti）、阿尔贝托·费拉里（Alberto Ferrari）、伊曼纽尔·马齐（Emanuele Mazzi）和阿尔贝托·桑吉奥瓦尼·文森特利（Alberton L.Sangiovanni Vincentelli）。 2008。闭环混合系统计算和验证的基于合同的设计。 《混合系统：计算与控制》，Magnus Egerstedt和Bud Mishra（编辑）。 施普林格-柏林-海德堡，柏林，海德堡。 谷歌学者 Josep Carmona和Jetty Kleijn。 2013.多组件环境中的兼容性。 理论计算机科学484（2013年5月），1-15。 谷歌学者 Arindam Chakrabarti、Luca de Alfaro、Thomas A.Henzinger和Marielle Stoelinga。 2003.资源接口。 第三届嵌入式软件年会论文集（EMSOFT’03）（计算机科学讲义），第2855卷。 施普林格，117-133。 谷歌学者 交叉引用 Chris Chilton、Bengt Jonsson和Marta Kwiatkowska。 2014.接口自动机的代数理论。 理论计算机科学549（2014年9月），146-174。 谷歌学者 亚历山德罗·西马蒂和斯特凡诺·托内塔。 2015.基于组件的嵌入式系统的合同细化证明系统。 《计算机编程科学》97，第3部分（2015），333-348。 谷歌学者 数字图书馆 沃纳·达姆（Werner Damm）、哈迪·亨加（Hardi Hungar）、伯恩哈德·约斯科（Bernhard Josko）、托马斯·佩肯坎普（Thomas Peikenkamp）和英戈·斯蒂兰德（Ingo Stierand）。 2011.使用基于合同的组件规范进行虚拟集成测试和架构设计。 欧洲会议展览设计、自动化测试（DATE11）。 法国格勒诺布尔，1-6。 谷歌学者 交叉引用 沃纳·达姆（Werner Damm）、安吉丽卡·沃廷塞娃（Angelika Votingseva）、亚历山大·梅兹纳（Alexander Metzner）、伯恩哈德·约斯科（Bernhard Josko）、托马斯·佩肯坎普（Thomas Peikenkamp）和埃卡德·博德（。 2005.通过丰富的组件促进嵌入式汽车应用程序的重复使用。 接口技术基础（FIT'05）。 谷歌学者 卢卡·德·阿尔法罗（Luca de Alfaro）和托马斯·汉津格（Thomas A.Henzinger）。 2001.接口自动机。 《第九届软件工程基础年度研讨会论文集》，ACM出版社，109-120。 谷歌学者 Edsger W.Dijkstra。 1975.程序的保护命令、不确定性和形式派生。 Commun公司。 ACM 18，8（1975年8月），453--457。 谷歌学者 数字图书馆 大卫·L·迪尔。 1989.速度无关电路自动分层验证的跟踪理论。 麻省理工学院出版社。 谷歌学者 尤利娅·德拉戈米尔（Iulia Dragomir）、尤利安·奥贝尔（Iulian Ober）和克里斯蒂安·佩塞博伊斯（Christian Percebois）。 2015年，SysML中基于合同的定时安全要求建模和验证。 《软件8系统建模》（2015），1-38。 谷歌学者 罗伯特·W·弗洛伊德。 1967年赋予程序意义。 《应用数学研讨会论文集》，第19卷。 19--32. 谷歌学者 交叉引用 苏珊娜·格拉芙（Susanne Graf）、罗伯托·帕塞罗内（Roberto Passerone）和索菲·昆顿（Sophie Quinton）。 2014.基于合同的推理，用于具有丰富交互的组件系统。 《嵌入式系统开发：从功能模型到实现》，Alberto L.Sangiovanni-Vincentelli、Haibo Zeng、Marco Di Natale和Peter Marwedel（编辑）。 嵌入式系统，第20卷。 纽约施普林格出版社，第8章，139-154。 谷歌学者 Thomas A.Henzinger、Ranjit Jhala和Rupak Majumdar。 2005.许可接口。 13年会议记录 第 软件工程基础年度研讨会（FSE'05）。 ACM出版社，31-40。 谷歌学者 数字图书馆 查尔斯·A·R·霍尔。 1969.计算机编程的公理基础。 Commun公司。 ACM 12，10（1969），576--580。 谷歌学者 数字图书馆 尼格尼泽·罗密欧、阿尔贝托·桑吉奥瓦尼·文森特利、林忠伟和康恩舒克。 2018.假设担保合同的商。 在第16届ACM/IEEE系统设计形式方法和模型国际会议（MEMOCODE）上。 谷歌学者 交叉引用 莱斯利·兰波特。 1990.赢与罪：并发的谓词变形金刚。 《美国计算机学会编程语言与系统学报》12，3（1990年7月），396--428。 谷歌学者 数字图书馆 Kim G.Larsen、Ulrik Nyman和Andrzej Wasowski。 2006.接口输入/输出自动机。 第14届形式方法国际研讨会，FM'06（计算机科学讲稿），第4085卷。 施普林格，82-97。 谷歌学者 数字图书馆 Kim G.Larsen、Ulrik Nyman和Andrzej Wasowski。 2007.接口和产品线理论的模式I/O自动机。 《程序设计语言与系统》，第16届欧洲程序设计研讨会，（ESOP’07）（计算机科学讲义），第4421卷。 施普林格，64-79岁。 谷歌学者 Hoa Thi Thieu Le、Roberto Passerone、Uli Fahrenberg和Axel Legay。 2016.异构系统建模的标签合同框架。 《计算机编程科学》115-116（2016），225-246。 谷歌学者 爱德华·A·李和阿尔贝托·桑吉奥瓦尼·文森特利。 1998年。计算模型比较框架。 IEEE电路和系统计算机辅助设计汇刊17，12（1998），1217--1229。 谷歌学者 数字图书馆 爱德华·A·李和熊玉红。 2004年，行为类型系统及其在托勒密二世中的应用。 《计算的形式方面杂志》16，3（2004），210--237。 谷歌学者 数字图书馆 桑德斯·麦克莱恩。 1998年，《职业数学家分类》（第二版）。 第5卷。 纽约州纽约市：斯普林格。 xii+314页。 谷歌学者 2013年，莱昂纳多·曼格鲁卡（Leonardo Mangeruca）、奥兰多·费兰特（Orlando Ferrante）和阿尔贝托·法拉利（Alberto Ferrari）。 使用合同的不断发展的需求的形式化和完整性。 第八届会议记录 第 IEEE工业嵌入式系统国际研讨会（SIES’13）。 葡萄牙波尔图，120-129。 谷歌学者 交叉引用 伯特兰·梅耶（Bertrand Meyer）。 1992.适用“合同设计”。 IEEE计算机25，10（1992年10月），40--51。 谷歌学者 数字图书馆 拉杜·内古列斯库。 2000.进程空间。 在CONCUR 2000-并发理论中，Catuscia Palamidessi（Ed.）。 施普林格-柏林-海德堡，柏林，海德堡。 谷歌学者 交叉引用 乌尔里克·尼曼。 2008年，模态转换系统作为接口理论和产品线的基础。 博士论文。 奥尔堡大学计算机科学系。 谷歌学者 罗伯托·帕塞罗内（Roberto Passerone）、尼尼戈塞尔·罗密欧（Nigniegoncer Romeo）和阿尔贝托·桑吉奥瓦尼·文森特利（Alberto L.Sangiovanni-Vincentelli）。 2019.组成和合并的合同范本运营商：扩展和证明。 技术报告DISI-19-004。 特伦托大学信息科学研究所。 谷歌学者 Jean-Baptiste Raclet、Eric Badouel、Albert Benveniste、Beno声t Caillaud、Axel Legay和Roberto Passerone。 2011年，基于组件设计的模态接口理论。 《基础信息》108，1--2（2011），119-149。 谷歌学者 数字图书馆 Jean-Baptiste Raclet、Eric Badouel、Albert Benveniste、Beno塣t Caillaud和Roberto Passerone。 2009年。为什么模态对界面理论有好处？ 在第九届系统设计并行应用国际会议（ACSD’09）的会议记录中。 德国奥格斯堡，119-127。 谷歌学者 交叉引用 斯塔夫罗斯·特里帕基斯（Stavros Tripakis）、本·利克利（Ben Lickly）、托马斯·汉津格（Thomas A.Henzinger）和爱德华·A·李（Edward A.Lee）。 2011.同步关系接口理论。 《美国计算机学会编程语言与系统汇刊》33，4（2011年7月）。 谷歌学者 数字图书馆 斯塔夫罗斯·特里帕基斯（Stavros Tripakis）、克里斯托斯·斯特吉奥（Christos Stergiou）、曼弗雷德·布罗伊（Manfred Broy）和爱德华·A·李（Edward A.Lee）。 2013.接口理论错误完成。 在模型检查软件中，Ezio Bartocci和C.R.Ramakrishnan（编辑）。 计算机科学讲义，第7976卷。 施普林格-柏林-海德堡，358-375。 谷歌学者 伊丽莎白·S·沃尔夫。 1995.用于形式验证和替换的同步电路层次模型。 博士论文。 斯坦福大学计算机科学系。 谷歌学者
