@第{zbMATH05509476条，作者={Colvin，Robert和Dongol，Brijesh}，Title={一种证明锁自由的通用技术}，FJournal={计算机编程科学}，日志={Sci.Compute.Program.}，ISSN={0167-6423}，体积={74}，数字＝｛3｝，页码={143--165}，年份={2009}，语言={英语}，DOI＝{10.1016/j.scico.2008.09.013}，关键词={68N19}，zbMATH={5509476}，Zbl={1157.68024}}