@第{zbMATH05530536条，作者={Damiani、Ferruccio和Giachino、Elena和Giannii、Paola和Drossopoulou、Sophia}，Title={用于协调的类型安全状态抽象{JAVA}类语言}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={45}，数字={7-8}，页码={479--536}，年份={2008}，语言={英语}，DOI={10.1007/s00236-008-0079-y}，关键词={68N15}，zbMATH={5530536}，Zbl={1180.68098}}