@第{zbMATH00708693条，作者={Bonner，Anthony J.和Kifer，Michael}，标题={事务逻辑概述}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={133}，数字={2}，页码={205--265}，年份={1994}，语言={英语}，DOI={10.1016/0304-3975（94）90190-2}，关键词={03B70,68N17,68P15,68T27}，zbMATH={708693}，Zbl={0938.03051}}