@第{zbMATH01774102条，作者={Stewart，Iain A.}，Title={程序方案、数组、{Lindstr{\“o}m}量词和零一定律}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={275}，数字={1-2}，页码={283--310}，年份={2002}，语言={英语}，DOI＝{10.1016/S0304-3975（01）00183-9}，关键词={03B70,03C13,68Q19,68Q15,03C80}，zbMATH={1774102}，Zbl={1018.03023}}