@第{zbMATH02167611条，作者={Arbab，Farhad}，Title={抽象行为类型：组件及其组合的基础模型}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={55}，数字={1-3}，页码={3--52}，年份={2005}，语言={英语}，DOI={10.1016/j.scico.2004.05.010}，关键词={68N19,68N30,68Q65}，URL={ir.cwi.nl/pub/4148}，zbMATH={2167611}，Zbl={1075.68014}}