@第{zbMATH06014349条，作者={Mart{\'{\i}}n，J.A.和Martinelli，F.和Pimentel，E.}，标题={安全适配器的合成}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={81}，数字={2}，页码={99--126}，年份={2012}，语言={英语}，DOI={10.1016/j.jlap.2011.08.001}，关键词={68P25,68Q60,94A60}，zbMATH＝{6014349}，Zbl=｛1236.68062｝}