德波尔（Frank S。；马塞洛·邦桑格 符号执行正式解释。 （英语） Zbl 1519.68057号 正式Asp。计算。 33，编号4-5，617-636（2021）.MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}和\textit{M.Bonsange}，正式Asp。计算。33，编号4--5，617--636（2021；Zbl 1519.68057） 全文： 内政部
工资制造者，贾纳；马塞洛·邦桑格；托比亚斯·卡佩；朱里安·罗特；亚历山德拉·席尔瓦 同步Kleene代数的完全性和不完全性。 （英语） Zbl 1434.68311号 Hutton，Graham（编辑），《程序构造的数学》。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11825, 385-413 (2019).MSC公司：70年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛J.Wagemaker｝等人，Lect。票据计算。科学。11825385--413（2019年；Zbl 1434.68311） 全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆（编辑）；马塞洛·邦桑格（编辑）；埃纳尔·布罗赫·约翰森（编辑） 形式方法的理论和实践。纪念法兰克·德·波尔60岁生日的文章。 （英语） Zbl 1460.68002号 计算机科学课堂讲稿9660.查姆：施普林格出版社（ISBN 978-3-319-30733-6/pbk；978-3-319-30734-3/ebook）。xii，427页。(2016).MSC公司：68-06 68号30 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}（ed.）等人，形式方法的理论与实践。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格（2016；Zbl 1460.68002） 全文： 内政部
马塞洛·M·邦桑格。；Helle Hvid Hansen先生；亚历山大·库兹；朱里安·罗特 呈现分配规律。 （英语） Zbl 1448.68324号 日志。方法计算。科学。 11，第3号，第2号论文，23页（2015年）.MSC公司：68问题65 18立方厘米 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，日志。方法计算。科学。11，第3号，第2号论文，23页（2015；Zbl 1448.68324） 全文： 内政部
M.邦桑格。（编辑） 计算机科学中的协同代数方法。2014年4月5日至6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修订了选定的论文。 （英语） Zbl 1318.68010号 计算机科学课堂讲稿8446.柏林：施普林格出版社（ISBN 978-3-662-44123-7/pbk；978-3-562-44124-4/电子书）。x、 245便士。(2014).MSC公司：68-06 68问题65 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}（编辑），计算机科学中的Coalgebraic方法。2014年4月5-6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修订了选定的论文。柏林：施普林格出版社（2014；Zbl 1318.68010） 全文： 内政部
马塞洛·邦桑格；朱里安·罗特；大卫·安科纳；法兰克·德波尔；简·拉特 共生并集类型的联合基础。 （英语） Zbl 1409.68177号 Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。票据计算。科学。8573，62-73（2014年）。MSC公司：68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人，莱克特。票据计算。科学。8573、62-73（2014；Zbl 1409.68177） 全文： 内政部
朱里安·罗特；马塞洛·邦桑格 结合双代数语义和方程。 （英语） Zbl 1407.68274号 Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8412, 381-395 (2014).MSC公司：第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}和\textit{M.Bonsange}，莱克特。票据计算。科学。8412381-395（2014年；兹比尔1407.68274） 全文： 内政部
斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；朱里安·罗特 合理的运营模式。 （英语） Zbl 1334.68137号 Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。MSC公司：68问题65 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}等人，《电子》。注释Theor。计算。科学。298257-282（2013年；Zbl 1334.68137） 全文： 内政部
朱里安·罗特；法兰克·德波尔；马塞洛·邦桑格 有界堆中的无限分配。 （英语） Zbl 1434.68113号 Arbab，Farhad（编辑）等人，《软件工程基础》，第五届国际会议，2013年4月24日至26日，伊朗德黑兰，FSEN 2013。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8161, 1-16 (2013).MSC公司：68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人，Lect。票据计算。科学。8161，1-16（2013年；兹bl 1434.68113） 全文： 内政部
马塞洛·M·邦桑格。；Helle Hvid Hansen先生；亚历山大·库兹；朱里安·罗特 呈现分配规律。 （英语） Zbl 1394.68238号 Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，95-109（2013）。MSC公司：68问题65 18立方厘米 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，莱克特。票据计算。科学。8089，95-109（2013；Zbl 1394.68238） 全文： 内政部 arXiv公司
艾琳娜·莫瑞卡；法兰克·德波尔；马塞洛·M·邦桑格。；多雷尔·卢卡努；朱里安·罗特 指针为K的递归程序的有界模型检验。 （英语） Zbl 1394.68220号 Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841，59-76（2013）。MSC公司：60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.M.As′voae}等人，Lect。票据计算。科学。7841，59-76（2013；Zbl 1394.68220） 全文： 内政部
马塞洛·M·邦桑格。；斯特凡·米利厄斯；朱里安·罗特 关于系统理性行为的操作规范。 （英语） Zbl 1459.68124号 Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，3-18（2012）。MSC公司：68问题65 18B20型 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，3--18（2012；Zbl 1459.68124） 全文： arXiv公司 链接
朱里安·罗特；艾琳娜·莫瑞卡；弗兰克·德波尔；马塞洛·M·邦桑格。；多雷尔·卢卡努 存在递归时通过堆进行交互。 （英语） 兹比尔1433.68218 Carbone，Marco（编辑）等人，第五届交互和并发体验研讨会会议记录，ICE’12，瑞典斯德哥尔摩，2012年6月16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）104，99-113（2012）。MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人，《电子》。程序。西奥。计算。科学。（EPTCS）104，99-113（2012；Zbl 1433.68218） 全文： arXiv公司 链接
法兰克·德波尔；马塞洛·邦桑格；朱里安·罗特 带指针的递归程序的自动验证。 （英语） Zbl 1358.68200号 Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学讲义7364。人工智能课堂讲稿，149-163（2012）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛F.de Boer｝等人，Lect。票据计算。科学。7364，149--163（2012；Zbl 1358.68200） 全文： 内政部
马塞洛·邦桑格；克拉克、戴夫；亚历山德拉·席尔瓦 上下文相关组件连接器的模型。 （英语） Zbl 1243.68147号 科学。计算。程序。 77，第6号，685-706（2012）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人，科学。计算。程序。77，第6号，685--706（2012；Zbl 1243.68147） 全文： 内政部
艾切尔尼格，伯恩哈德·K。（编辑）；德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑） 组件和对象的形式化方法。2010年11月29日至12月1日，第九届国际研讨会，FMCO 2010，奥地利格拉茨。修订论文。 （英语） Zbl 1233.68008号 计算机科学课堂讲稿6957.柏林：施普林格出版社（ISBN 978-3-642-25270-9/pbk）。xi，第393页。(2011).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}（ed.）等人，组件和对象的形式化方法。第九届国际研讨会，FMCO 2010，奥地利格拉茨，2010年11月29日至12月1日。修订论文。柏林：施普林格出版社（2011；Zbl 1233.68008） 全文： 内政部
马塞洛·邦桑格；乔治亚娜·卡尔泰斯；欧根·伊安·戈里亚克；多雷尔·卢卡努；简·拉特；亚历山德拉·席尔瓦 广义正则表达式双相似性的判定过程。 （英语） Zbl 1325.68127号 Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日，第13届巴西正式方法研讨会，SBMF 2010，巴西纳塔尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，226-241（2011）。MSC公司：65年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人，莱克特。票据计算。科学。6527，226--241（2011；Zbl 1325.68127） 全文： 内政部 链接
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；斯特凡·哈勒斯特德（编辑）；Michael Leuschel先生（编辑） 组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。 （英语） Zbl 1203.68021号 计算机科学课堂讲稿6286.柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。x、 第339页。(2010).MSC公司：68-06 68M99型 68N99型 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（2010；Zbl 1203.68021） 全文： 内政部
马塞洛·M·邦桑格。；穆罕默德·伊扎迪 自动进行基于模型的Reo连接器检查。 （英语） Zbl 1274.68177号 Arbab，Farhad（编辑）等人，《软件工程基础》，第三届IPM国际会议，FSEN 2009，伊朗基什岛，2009年4月15日至17日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11622-3/pbk）。计算机科学课堂讲稿5961260-275（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.邦桑格}和\textit{M.伊扎迪}，莱克特。票据计算。科学。5961260-275（2010年；Zbl 1274.68177） 全文： 内政部
菲利波·邦奇；马塞洛·邦桑格；简·拉特；亚历山德拉·席尔瓦 导出定量规则行为的语法和公理。 （英语） Zbl 1254.68129号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学讲义5710，146-162（2009）。MSC公司：65年第68季度 68问题65 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，Lect。票据计算。科学。5710、146--162（2009年；Zbl 1254.68129） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；艾瑞克·马德琳（编辑） 组件和对象的形式化方法。2008年10月21日至23日在法国索菲亚·安蒂波利斯举行的2008年FMCO第七届国际研讨会。修订的讲座。 （英语） Zbl 1173.68016号 计算机科学课堂讲稿5751.柏林：施普林格出版社（ISBN 978-3-642-04166-2/pbk）。x、 299页。(2009).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2008年10月21日至23日在法国索菲亚·安蒂波利斯举行的2008年FMCO第七届国际研讨会。修订的讲座。柏林：施普林格出版社（2009；Zbl 1173.68016） 全文： 内政部
马塞洛·邦桑格；简·拉特；亚历山德拉·席尔瓦 多项式余代数的Kleene定理。 （英语） Zbl 1234.68272号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504122-136（2009）。MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bonsangue｝等人，Lect。票据计算。科学。5504122--136（2009年；Zbl 1234.68272） 全文： 内政部
穆罕默德·伊扎迪；马塞洛·M·邦桑格。 将约束自动机重铸为Büchi自动机。 （英语） Zbl 1161.68538号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160156-170（2008）。MSC公司：65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Izadi}和\textit{M.Bonsange}，莱克特。票据计算。科学。5160、156-170（2008年；Zbl 1161.68538） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 （英语） Zbl 1155.68012号 计算机科学课堂讲稿5382.柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。x、 313页。(2008).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（2008；Zbl 1155.68012） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。 （英语） Zbl 1143.68011号 计算机科学课堂讲稿4709.柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。viii，297页。(2007).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第五届国际研讨会，2006年FMCO，荷兰阿姆斯特丹，2006年11月7日至10日。修订的讲座。柏林：施普林格出版社（2007；Zbl 1143.68011） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。 （英语） Zbl 1114.68010号 计算机科学课堂讲稿4111.柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。viii，429页。(2006).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第四届国际研讨会，FMCO 2005，荷兰阿姆斯特丹，2005年11月1-4日。修订的讲座。柏林：施普林格出版社（2006；Zbl 1114.68010） 全文： 内政部
马塞洛·M·邦桑格。；亚历山大·库兹 用运算和方程表示函子。 （英语） Zbl 1180.68182号 Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。计算机科学课堂讲稿3921172-186（2006）。MSC公司：68问题65 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}和\textit{A.Kurz}，莱克特。票据计算。科学。3921、172--186（2006年；Zbl 1180.68182） 全文： 内政部
艾丽卡·阿尔布拉汉姆；马塞洛·M·邦桑格。；德波尔（Frank S。；安德烈亚斯·格吕纳；马丁·斯特芬 连续类演算中的可观察性、连接性和重播。 （英语） Zbl 1143.68359号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修改后的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657，296-316（2005）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。票据计算。科学。3657296-316（2005年；Zbl 1143.68359） 全文： 内政部
德波尔，F.S。；M.M.邦桑格。；M.斯特芬。；E·阿尔布拉哈姆。 UML组件的完全抽象语义。 （英语） Zbl 1143.68369号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿365749-69（2005）。MSC公司：68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Lect。票据计算。科学。3657、49-69（2005年；Zbl 1143.68369） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德罗弗（编辑） 组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。 （英语） Zbl 1084.68008号 计算机科学课堂讲稿3657.柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。viii，第325页。(2005).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2004年11月2-5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格（2005年；兹bl 1084.68008） 全文： 内政部
马塞洛·M·邦桑格。；亚历山大·库兹 过渡系统逻辑的对偶性。 （英语） Zbl 1119.03021号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441455-469（2005）。MSC公司：03B70号 03B45 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}和\textit{A.Kurz}，莱克特。票据计算。科学。3441455--469（2005；Zbl 1119.03021） 全文： 内政部
德波尔，F。（编辑）；M.邦桑格。（编辑） UML模型（CVUML）组合验证研讨会会议记录，美国旧金山，2003年10月21日。 （英语） Zbl 1271.68062号 理论计算机科学电子笔记101.阿姆斯特丹：爱思唯尔。第179页。，仅限电子版（2004年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.de Boer}（ed.）和\textit{M.Bonsange}（edi.），UML模型组合验证研讨会论文集，美国旧金山，2003年10月21日。阿姆斯特丹：Elsevier（2004；Zbl 1271.68062） 全文： 链接
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。 （英语） Zbl 1060.68006号 计算机科学课堂讲稿3188.柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。viii，第373页。(2004).MSC公司：68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（2004；Zbl 1060.68006） 全文： 内政部
德波尔（Frank S。（编辑）；马塞洛·M·邦桑格。（编辑）；苏珊娜·格拉芙（编辑）；威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2002年11月5日至8日，第一届国际研讨会，FMCO 2002，荷兰莱顿。修订的讲座。 （英语） Zbl 1028.00026号 计算机科学课堂讲稿. 2852. 柏林：斯普林格。viii，507页（2003年）。MSC公司：00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2002年11月5-8日在荷兰莱顿举行的FMCO 2002第一届国际研讨会。修订的讲座。柏林：施普林格出版社（2003；Zbl 1028.00026） 全文： 内政部 链接
马塞洛·M·邦桑格。；Joost N.角。 走向领域的无限逻辑：过渡系统的阿布拉姆斯基逻辑。 （英语） Zbl 1004.03030号 Inf.计算。 155，第1-2号，170-201（1999）.MSC公司：03B70号 第68季度55 60年第68季度 06B35号 03G10年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}和\textit{J.N.Kok}，Inf.Compute。155，编号1--2，170-201（1999；Zbl 1004.03030） 全文： 内政部 链接
马塞洛·M·邦桑格。；Joost N.角。 使用超转换系统指定计算。 （英语） Zbl 0941.68081号 Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1295, 169-178 (1997).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}和\textit{J.N.Kok}，莱克特。票据计算。科学。1295、169--178（1997年；Zbl 0941.68081）