马塞尔·奥利维拉。;安东尼诺，P。;R.拉莫斯。;A.桑帕约。;莫塔，A。;A.W.罗斯科。 使用组件元数据和模式严格开发基于组件的系统。 （英语） Zbl 1348.68167号 正式Asp。计算。 28，第6期，937-1004（2016）.MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Oliveira}等人，正式Asp。计算。28，编号61937-1004（2016；兹bl 1348.68167） 全文： 内政部 链接
乔瓦尼·卢塞罗;戴维·诺曼;奥古斯托·桑帕约 编程法则供参考。 （英语） Zbl 1426.68057号 Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 124-139 (2013).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lucero}等人，Lect。注释计算。科学。8301124-139（2013；Zbl 1426.68057） 全文： 内政部
戴维·诺曼（David A.Naumann）。;奥古斯托·桑帕约;莱拉·席尔瓦 类层次结构的重构和表示独立性。 （英语） Zbl 1278.68145号 西奥。计算。科学。 433, 60-97 (2012).MSC公司：68问题55 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann}等人，Theor。计算。科学。433、60-97（2012年；Zbl 1278.68145） 全文： 内政部
阿道夫·杜兰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 面向对象语言编译器设计的代数方法。 （英语） Zbl 1214.68126号 正式Asp。计算。 22，第5期，489-535（2010）.MSC公司：68N20型 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.Duran}等人，正式Asp。计算。22，第5号，489--535（2010；Zbl 1214.68126） 全文： 内政部 链接
罗德里戈·拉莫斯;奥古斯托·桑帕约;亚历山大·莫塔 交互组件协调的一致性概念。 （英语） Zbl 1200.68072号 科学。计算。程序。 75，第5期，350-373（2010）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramos}等人，科学。计算。程序。75，第5号，350-373（2010；Zbl 1200.68072） 全文： 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 （英语） Zbl 1191.68168号 科学。计算。程序。 75，第3期，106-133（2010）.MSC公司：第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人，科学。计算。程序。75，编号3，106--133（2010；Zbl 1191.68168） 全文： 内政部
法尔科奥，弗拉维亚;朱利亚诺·伊尤达;奥古斯托·桑帕约 MSC中的多重同步。 （英语） Zbl 1347.68263号 Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，149-166（2009）。MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Falcão｝等人，电子。注释Theor。计算。科学。240、149--166（2009年；Zbl 1347.68263） 全文： 内政部
C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的范式方法。 （英语） Zbl 0790.68023号 学报信息。 30，第8号，701-739（1993）. 审核人：C.A.R.Hoare（牛津） MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人，《信息学报》第30期，第8期，第701--739页（1993年；Zbl 0790.68023） 全文： 内政部